summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorNorbert Preining <preining@logic.at>2008-05-11 08:58:33 +0000
committerNorbert Preining <preining@logic.at>2008-05-11 08:58:33 +0000
commita83fc3fd8ec35d12078e3ed6553ed3427ec2b30f (patch)
treef58f46a774bd4d0076a8a6c75d37cbb93349a94b
parent5dd99dbd0f471e422f24c938364e30ff2452096b (diff)
remove texdoc script
git-svn-id: svn://tug.org/texlive/trunk@8042 c570f23f-e606-0410-a88d-b1316a301751
-rwxr-xr-xMaster/bin/i386-linux/texdoc206
1 files changed, 0 insertions, 206 deletions
diff --git a/Master/bin/i386-linux/texdoc b/Master/bin/i386-linux/texdoc
deleted file mode 100755
index f66b3c855de..00000000000
--- a/Master/bin/i386-linux/texdoc
+++ /dev/null
@@ -1,206 +0,0 @@
-#!/bin/sh
-#
-# Thomas Esser, David Aspinall, Simon Wilkinson.
-# Public domain.
-#
-# Simple script to attempt to find documentation for tex files.
-# Uses kpsewhich to find a .dvi, .pdf or .ps file along the
-# 'TeX system documentation' ($TEXDOCS, default: $TEXMF/doc) search path.
-#
-# Original version by David Aspinall <da@dcs.ed.ac.uk>
-#
-# This version rewritten for use with bash 2 and teTeX under Linux by
-# Simon Wilkinson <sxw@dcs.ed.ac.uk>
-#
-# Changes for web2c-7.2 resp. teTeX-0.9 and portability fixes by
-# Thomas Esser <te@dbs.uni-hannover.de>, Jun 14 1998
-#
-# Support for compressed documentation implemented by adopting changes
-# made by debian. Thomas Esser, Dec. 2004.
-
-test -f /bin/sh5 && test -z "$RUNNING_SH5" \
- && { UNAMES=`uname -s`; test "x$UNAMES" = xULTRIX; } 2>/dev/null \
- && { RUNNING_SH5=true; export RUNNING_SH5; exec /bin/sh5 $0 ${1+"$@"}; }
-unset RUNNING_SH5
-
-test -f /bin/bsh && test -z "$RUNNING_BSH" \
- && { UNAMES=`uname -s`; test "x$UNAMES" = xAIX; } 2>/dev/null \
- && { RUNNING_BSH=true; export RUNNING_BSH; exec /bin/bsh $0 ${1+"$@"}; }
-unset RUNNING_BSH
-
-export PATH
-
-needsCleanup=false
-progname=texdoc
-tmpdir=${TMPDIR-${TEMP-${TMP-/tmp}}}/$progname.$$
-
-###############################################################################
-# setupTmpDir()
-# set up a temp directory and a trap to remove it
-###############################################################################
-setupTmpDir()
-{
- $needsCleanup && return
-
- trap 'cleanup --force' 1 2 3 7 13 15
- needsCleanup=true
- mkdir "$tmpdir" || abort "could not create directory \`$tmpdir'"
-}
-
-###############################################################################
-# abort(errmsg)
-# print `errmsg' to stderr and exit with error code 1
-###############################################################################
-abort()
-{
- warn "$progname: $1."
- cleanup
- (exit 1)
- exit 1
-}
-
-###############################################################################
-# cleanup()
-# clean up the temp area
-###############################################################################
-cleanup()
-{
- case $1 in
- --force)
- $needsCleanup && test -n "$tmpdir" && test -d "$tmpdir" \
- && { rm -f "$tmpdir"/*; cd /; rmdir "$tmpdir"; }
- ;;
- *) # directory might not be empty if some other viewer is still
- # running, so be quiet about it
- rmdir $tmpdir >/dev/null 2>&1;;
- esac
-}
-
-
-# Viewing programs, according to filename extension. (You can
-# override or add to them by setting environment variables).
-# MacOS X: does not have X11 by default, so give dvi a low priority
-case `(uname -s) 2>/dev/null` in
- Darwin)
- : ${TEXDOCVIEW_dvi='(open %s >/dev/console 2>&1 || xdvi %s &) || echo "Method for opening %s did not work"'}
- : ${TEXDOCVIEW_ps='open %s'}
- : ${TEXDOCVIEW_pdf='open %s'}
- : ${TEXDOCVIEW_html='open %s'}
- : ${TEXDOCVIEW_txt="open -a TextEdit.app %s"}
- : ${TEXDOCVIEW_="open -a TextEdit.app %s"} # no extension, default to pager
- extlist='.pdf .ps .txt .dvi .html'
- ;;
- *)
- : ${TEXDOCVIEW_dvi='(xdvi %s) &'}
- : ${TEXDOCVIEW_pdf='(acroread %s) &'}
- : ${TEXDOCVIEW_ps='(gv %s) &'}
- : ${TEXDOCVIEW_html='mozilla -remote openURL'"'(%s)'"' 2>/dev/null || mozilla %s &'}
- : ${TEXDOCVIEW_txt="${PAGER-more} %s"}
- : ${TEXDOCVIEW_="${PAGER-more} %s"} # no extension, default to pager
- extlist='.dvi .dvi.gz .dvi.bz2 .pdf .pdf.gz .pdf.bz2 .ps .ps.gz .ps.bz2 .txt .txt.gz .txt.bz2 .html'
-
- # Commands run to uncompress files, according to filename extension.
- : ${TEXDOCUNZIP_gz='gzip -d -c'}
- : ${TEXDOCUNZIP_bz2='bzip2 -d -c'}
- ;;
-esac
-
-mode=viewer
-help='Usage: texdoc [OPTION]... [NAME]...
- Search for NAME in the TeX documentation and start a viewer.
-
- --help show this help
- -v verbose mode: show viewer command
- -l just list all matching files. Do not start a viewer.
- -s search the disk. remaining arguments will be passed
- as egrep patterns to filter the find output.'
-
-verbosemode=false
-while
- case $1 in
- -s) mode=search; shift; break;;
- -l) mode=list;;
- -v) verbosemode=true;;
- *-help)
- echo "$help" >&2
- exit 1;;
- -*) echo "texdoc: option $1 not recognized" 1>&2;;
- *) break;;
- esac
-do shift; done
-
-case $# in
- 0)
- echo "$help" >&2
- exit 1
- ;;
-esac
-
-for name
-do
- case $mode in
- search)
- find `kpsewhich --expand-path='$TEXMF/doc' | tr : ' '` -type f -print |
- egrep $name
- continue
- ;;
- esac
-
- case $name in
- texdoc)
- man texdoc; continue;;
- esac
-
- found=false
- for ext in "" $extlist; do
-
- filename=`kpsewhich -format='TeX system documentation' $name$ext 2>/dev/null`
- test -z "$filename" && continue
- found=true
-
- if test $mode = list; then
- echo $filename
- else
- dir=`echo $filename | sed 's%/[^/]*$%%'`
- ext=`echo $filename | sed -n 's%.*\.\([^/]*\)$%\1%p'`
-
- eval uncompress="\$TEXDOCUNZIP_$ext"
- if test -n "$uncompress"
- then
- ext=`echo $filename | sed -e "s|\\.$ext\$||" | sed 's%.*\.%%'`
- fi
- viewer=\$"TEXDOCVIEW_$ext"
- if test -n "$uncompress"; then
- src=`echo "$filename" | sed -e 's%.*/%%' -e 's%\.[^.]*$%%'`
-
- # only one viewer per file, if the same file is given more
- # than once
- test -f "$tmpdir/$src" && break
-
- setupTmpDir
- eval "$uncompress $filename > $tmpdir/$src"
- filename=$tmpdir/$src
- viewer=`eval echo $viewer | sed -e "s|%s|$filename; rm -f $filename; cleanup|"`
- else
- viewer=`eval echo $viewer | sed -e "s|%s|$filename|g"`
- fi
-
- if test -z "$viewer"
- then
- echo "Don't know how to view file type $ext" 1>&2
- echo "(matching file was $filename)" 1>&2
- else
- $verbosemode && echo $viewer
- test -n "$dir" && test -d "$dir" && cd "$dir"
- eval $viewer
- break # just stop after the first usable extension
- fi
- fi
-
- done
- $found || echo "Can't find documentation for \`$name'" 1>&2
-done
-
-cleanup
-(exit 0)
-exit 0