1234567891011121314151617181920212223242526272829303132333435363738394041424344454647484950 |
-
-
-
-
-
-
-
-
-
- if [ $# -lt 2 ] ;then
- echo usage: $0 'page_number file_name[.dvi]'
- exit 1
- fi
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
-
- GS_EXECUTABLE=gs
-
- TEMPDIR=.
- PAGE=$1
- shift
- FILE="$1"
- shift
- if test -z "$TEMPDIR"; then
- TEMPDIR=/tmp
- fi
- if which mktemp >/dev/null 2>/dev/null; then
- tmpfile="`mktemp $TEMPDIR/\"$FILE\".pv.XXXXXX`"
- else
- tmpfile="$TEMPDIR/$FILE.$$.pv"
- fi
- trap "rm -rf $tmpfile" 0 1 2 15
-
- dvips -p $PAGE -n 1 "$FILE" "$@" -o $tmpfile
- $GS_EXECUTABLE $tmpfile
- exit 0
|