diff options
author | Karl Berry <karl@freefriends.org> | 2008-03-17 18:53:11 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2008-03-17 18:53:11 +0000 |
commit | ca7d35717b5607eacec8e03c76d37e6d976ff31b (patch) | |
tree | c5fc452b91d0d427623801fef42786c660ed59a6 /Master/bin/hppa-hpux/texdoc | |
parent | cfaf3ba644b1df171aab1cf6bc2a39a1e2ad6914 (diff) |
restore hppa-hpux
git-svn-id: svn://tug.org/texlive/trunk@6989 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/bin/hppa-hpux/texdoc')
-rwxr-xr-x | Master/bin/hppa-hpux/texdoc | 206 |
1 files changed, 206 insertions, 0 deletions
diff --git a/Master/bin/hppa-hpux/texdoc b/Master/bin/hppa-hpux/texdoc new file mode 100755 index 00000000000..f66b3c855de --- /dev/null +++ b/Master/bin/hppa-hpux/texdoc @@ -0,0 +1,206 @@ +#!/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 |