annotate texi2dvi @ 5103:e2ed74b9bfa0 after-gnuplot-split

[project @ 2004-12-28 02:43:01 by jwe]
author jwe
date Tue, 28 Dec 2004 02:43:01 +0000
parents 6929a31e7624
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
2518
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
1 #! /bin/sh
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
2 # texi2dvi --- smartly produce DVI files from texinfo sources
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
3
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
4 # Copyright (C) 1992, 93, 94, 95, 96 Free Software Foundation, Inc.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
5
3285
6929a31e7624 [project @ 1999-10-13 21:59:11 by jwe]
jwe
parents: 2519
diff changeset
6 # $Id: texi2dvi,v 1.3 1999-10-13 21:59:11 jwe Exp $
2518
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
7
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
8 # This program is free software; you can redistribute it and/or modify
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
9 # it under the terms of the GNU General Public License as published by
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
10 # the Free Software Foundation; either version 2, or (at your option)
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
11 # any later version.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
12 #
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
13 # This program is distributed in the hope that it will be useful,
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
14 # but WITHOUT ANY WARRANTY; without even the implied warranty of
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
15 # MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
16 # GNU General Public License for more details.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
17 #
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
18 # You should have received a copy of the GNU General Public License
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
19 # along with this program; if not, you can either send email to this
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
20 # program's maintainer or write to: The Free Software Foundation,
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
21 # Inc.; 59 Temple Place, Suite 330; Boston, MA 02111-1307, USA.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
22
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
23 # Commentary:
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
24
3285
6929a31e7624 [project @ 1999-10-13 21:59:11 by jwe]
jwe
parents: 2519
diff changeset
25 # Author: Noah Friedman <friedman@gnu.org>
2518
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
26
3285
6929a31e7624 [project @ 1999-10-13 21:59:11 by jwe]
jwe
parents: 2519
diff changeset
27 # Please send bug reports, etc. to bug-texinfo@gnu.org.
2518
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
28 # If possible, please send a copy of the output of the script called with
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
29 # the `--debug' option when making a bug report.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
30
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
31 # In the interest of general portability, some common bourne shell
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
32 # constructs were avoided because they weren't guaranteed to be available
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
33 # in some earlier implementations. I've tried to make this program as
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
34 # portable as possible. Welcome to unix, where the lowest common
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
35 # denominator is rapidly diminishing.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
36 #
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
37 # Among the more interesting lossages I noticed with some bourne shells
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
38 # are:
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
39 # * No shell functions.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
40 # * No `unset' builtin.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
41 # * `shift' cannot take a numeric argument, and signals an error if
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
42 # there are no arguments to shift.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
43
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
44 # Code:
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
45
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
46 # Name by which this script was invoked.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
47 progname=`echo "$0" | sed -e 's/[^\/]*\///g'`
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
48
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
49 # This string is expanded by rcs automatically when this file is checked out.
3285
6929a31e7624 [project @ 1999-10-13 21:59:11 by jwe]
jwe
parents: 2519
diff changeset
50 rcs_revision='$Revision: 1.3 $'
2518
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
51 version=`set - $rcs_revision; echo $2`
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
52
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
53 # To prevent hairy quoting and escaping later.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
54 bq='`'
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
55 eq="'"
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
56
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
57 usage="Usage: $0 [OPTION]... FILE...
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
58 Run a Texinfo document through TeX.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
59
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
60 Options:
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
61 -D, --debug Turn on shell debugging ($bq${bq}set -x$eq$eq).
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
62 -t, --texinfo CMD Insert CMD after @setfilename before running TeX.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
63 --verbose Report on what is done.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
64 -h, --help Display this help and exit.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
65 -v, --version Display version information and exit.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
66
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
67 The values of the TEX, TEXINDEX, and MAKEINFO environment variables are
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
68 used to run those commands, if they are set.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
69
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
70 Email bug reports to bug-texinfo@prep.ai.mit.edu.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
71 "
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
72
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
73 # Initialize variables.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
74 # Don't use `unset' since old bourne shells don't have this command.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
75 # Instead, assign them an empty value.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
76 # Some of these, like TEX and TEXINDEX, may be inherited from the environment.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
77 backup_extension=.bak # these files get deleted if all goes well.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
78 debug=
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
79 orig_pwd="`pwd`"
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
80 textra=
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
81 verbose=false
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
82 makeinfo="${MAKEINFO-makeinfo}"
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
83 texindex="${TEXINDEX-texindex}"
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
84 tex="${TEX-tex}"
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
85
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
86 # Save this so we can construct a new TEXINPUTS path for each file.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
87 TEXINPUTS_orig="$TEXINPUTS"
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
88 export TEXINPUTS
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
89
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
90 # Parse command line arguments.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
91 # Make sure that all wildcarded options are long enough to be unambiguous.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
92 # It's a good idea to document the full long option name in each case.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
93 # Long options which take arguments will need a `*' appended to the
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
94 # canonical name to match the value appended after the `=' character.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
95 while : ; do
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
96 case $# in 0) break ;; esac
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
97 case "$1" in
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
98 -D | --debug | --d* ) debug=t; shift ;;
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
99 -h | --help | --h* ) echo "$usage"; exit 0 ;;
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
100 # OK, we should do real option parsing here, but be lazy for now.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
101 -t | --texinfo | --t*) shift; textra="$textra $1"; shift ;;
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
102 -v | --vers* )
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
103 echo "$progname (Texinfo 3.9) $version"
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
104 echo "Copyright (C) 1996 Free Software Foundation, Inc.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
105 There is NO warranty. You may redistribute this software
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
106 under the terms of the GNU General Public License.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
107 For more information about these matters, see the files named COPYING."
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
108 exit 0 ;;
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
109 --verb* ) verbose=echo; shift ;;
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
110 -- ) # Stop option processing
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
111 shift
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
112 break
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
113 ;;
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
114 -* )
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
115 case "$1" in
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
116 --*=* ) arg=`echo "$1" | sed -e 's/=.*//'` ;;
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
117 * ) arg="$1" ;;
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
118 esac
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
119 exec 1>&2
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
120 echo "$progname: Unknown or ambiguous option $bq$arg$eq."
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
121 echo "$progname: Try $bq--help$eq for more information."
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
122 exit 1
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
123 ;;
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
124 * )
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
125 break
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
126 ;;
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
127 esac
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
128 done
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
129
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
130 # See if there are any command line args left (which will be interpreted as
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
131 # filename arguments).
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
132 if test $# -eq 0; then
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
133 exec 1>&2
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
134 echo "$progname: At least one file name is required as an argument."
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
135 echo "$progname: Try $bq--help$eq for more information."
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
136 exit 2
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
137 fi
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
138
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
139 test "$debug" = t && set -x
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
140
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
141 # Texify files
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
142 for command_line_filename in ${1+"$@"} ; do
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
143 $verbose "Processing $command_line_filename ..."
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
144
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
145 # See if file exists. If it doesn't we're in trouble since, even
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
146 # though the user may be able to reenter a valid filename at the tex
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
147 # prompt (assuming they're attending the terminal), this script won't
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
148 # be able to find the right index files and so forth.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
149 if test ! -r "${command_line_filename}" ; then
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
150 echo "$0: Could not read ${command_line_filename}." >&2
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
151 continue
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
152 fi
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
153
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
154 # Roughly equivalent to `dirname ...`, but more portable
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
155 directory="`echo ${command_line_filename} | sed 's/\/[^\/]*$//'`"
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
156 filename_texi="`basename ${command_line_filename}`"
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
157 # Strip off the last extension part (probably .texinfo or .texi)
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
158 filename_noext="`echo ${filename_texi} | sed 's/\.[^.]*$//'`"
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
159
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
160 # Use same basename since we want to generate aux files with the same
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
161 # basename as the manual. Use extension .texi for the temp file so
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
162 # that TeX will ignore it. Thus, we must use a subdirectory.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
163 #
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
164 # Output the macro-expanded file to here.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
165 tmp_dir=${TMPDIR-/tmp}/$$
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
166 filename_tmp=$tmp_dir/$filename_noext.texi
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
167 # Output the file with the user's extra commands to here.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
168 filename_tmp2=$tmp_dir.2/$filename_noext.texi
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
169 mkdir $tmp_dir $tmp_dir.2
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
170
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
171 # If directory and file are the same, then it's probably because there's
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
172 # no pathname component. Set dirname to `.', the current directory.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
173 if test "z${directory}" = "z${command_line_filename}" ; then
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
174 directory=.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
175 fi
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
176
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
177 # Source file might @include additional texinfo sources. Put `.' and
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
178 # directory where source file(s) reside in TEXINPUTS before anything
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
179 # else. `.' goes first to ensure that any old .aux, .cps, etc. files in
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
180 # ${directory} don't get used in preference to fresher files in `.'.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
181 TEXINPUTS=".:${directory}:${TEXINPUTS_orig}"
2519
6914eab16f0b [project @ 1996-11-14 20:48:14 by jwe]
jwe
parents: 2518
diff changeset
182 makeinfo_inputs="-I`echo $TEXINPUTS | sed 's,:, -I,g'`"
2518
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
183
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
184 # Expand macro commands in the original source file using Makeinfo;
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
185 # the macro syntax bfox implemented is impossible to implement in TeX.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
186 # Always use `end' footnote style, since the `separate' style
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
187 # generates different output (arguably this is a bug in -E).
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
188 # Discard main info output, the user asked to run TeX, not makeinfo.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
189 # Redirect output to /dev/null to throw away `Making info file...' msg.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
190 $verbose "Macro-expanding $command_line_filename to $filename_tmp ..."
2519
6914eab16f0b [project @ 1996-11-14 20:48:14 by jwe]
jwe
parents: 2518
diff changeset
191 $makeinfo $makeinfo_inputs --footnote-style=end -E $filename_tmp \
6914eab16f0b [project @ 1996-11-14 20:48:14 by jwe]
jwe
parents: 2518
diff changeset
192 -o /dev/null $command_line_filename >/dev/null
2518
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
193
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
194 # But if there were no macros, or makeinfo failed for some reason,
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
195 # just use the original file. (It shouldn't make any difference, but
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
196 # let's be safe.)
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
197 if test $? -ne 0 || cmp -s $filename_tmp $command_line_filename; then
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
198 $verbose "Reverting to $command_line_filename ..."
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
199 filename_input=$command_line_filename
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
200 else
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
201 filename_input=$filename_tmp
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
202 fi
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
203
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
204 # Used most commonly for @finalout, @smallbook, etc.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
205 if test -n "$textra"; then
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
206 $verbose "Inserting extra commands: $textra."
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
207 sed '/^@setfilename/a\
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
208 '"$textra" $filename_input >$filename_tmp2
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
209 filename_input=$filename_tmp2
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
210 fi
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
211
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
212 while true; do # will break out of loop below
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
213 # "Unset" variables that might have values from previous iterations and
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
214 # which won't be completely reset later.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
215 definite_index_files=
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
216
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
217 # Find all files having root filename with a two-letter extension,
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
218 # determine whether they're really index files, and save them. Foo.aux
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
219 # is actually the cross-references file, but we need to keep track of
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
220 # that too.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
221 possible_index_files="`eval echo ${filename_noext}.?? ${filename_noext}.aux`"
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
222 for this_file in ${possible_index_files} ; do
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
223 # If file is empty, forget it.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
224 test -s "${this_file}" || continue
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
225
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
226 # Examine first character of file. If it's not suitable to be an
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
227 # index or xref file, don't process it.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
228 first_character="`sed -n '1s/^\(.\).*$/\1/p;q' ${this_file}`"
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
229 if test "x${first_character}" = "x\\" \
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
230 || test "x${first_character}" = "x'"; then
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
231 definite_index_files="${definite_index_files} ${this_file}"
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
232 fi
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
233 done
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
234 orig_index_files="${definite_index_files}"
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
235 orig_index_files_sans_aux="`echo ${definite_index_files} \
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
236 | sed 's/'${filename_noext}'\.aux//;
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
237 s/^[ ]*//;s/[ ]*$//;'`"
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
238
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
239 # Now save copies of original index files so we have some means of
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
240 # comparison later.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
241 $verbose "Backing up current index files: $orig_index_files ..."
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
242 for index_file_to_save in ${orig_index_files} ; do
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
243 cp "${index_file_to_save}" "${index_file_to_save}${backup_extension}"
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
244 done
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
245
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
246 # Run texindex on current index files. If they already exist, and
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
247 # after running TeX a first time the index files don't change, then
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
248 # there's no reason to run TeX again. But we won't know that if the
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
249 # index files are out of date or nonexistent.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
250 if test -n "${orig_index_files_sans_aux}" ; then
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
251 $verbose "Running $texindex $orig_index_files_sans_aux ..."
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
252 ${texindex} ${orig_index_files_sans_aux}
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
253 fi
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
254
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
255 # Finally, run TeX.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
256 $verbose "Running $tex $filename_input ..."
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
257 ${tex} "$filename_input"
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
258
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
259 # Check if index files changed.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
260 #
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
261 definite_index_files=
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
262 # Get list of new index files.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
263 possible_index_files="`eval echo ${filename_noext}.?? ${filename_noext}.aux`"
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
264 for this_file in ${possible_index_files} ; do
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
265 # If file is empty, forget it.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
266 test -s "${this_file}" || continue
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
267
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
268 # Examine first character of file. If it's not a backslash or
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
269 # single quote, then it's definitely not an index or xref file.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
270 # (Will have to check for @ when we switch to Texinfo syntax in
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
271 # all these files...)
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
272 first_character="`sed -n '1s/^\(.\).*$/\1/p;q' ${this_file}`"
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
273 if test "x${first_character}" = "x\\" \
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
274 || test "x${first_character}" = "x'"; then
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
275 definite_index_files="${definite_index_files} ${this_file}"
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
276 fi
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
277 done
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
278 new_index_files="${definite_index_files}"
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
279 new_index_files_sans_aux="`echo ${definite_index_files} \
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
280 | sed 's/'${filename_noext}'\.aux//;
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
281 s/^[ ]*//;s/[ ]*$//;'`"
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
282
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
283 # If old and new list don't at least have the same file list, then one
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
284 # file or another has definitely changed.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
285 $verbose "Original index files =$orig_index_files"
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
286 $verbose "New index files =$new_index_files"
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
287 if test "z${orig_index_files}" != "z${new_index_files}" ; then
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
288 index_files_changed_p=t
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
289 else
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
290 # File list is the same. We must compare each file until we find a
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
291 # difference.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
292 index_files_changed_p=
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
293 for this_file in ${new_index_files} ; do
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
294 $verbose "Comparing index file $this_file ..."
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
295 # cmp -s will return nonzero exit status if files differ.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
296 cmp -s "${this_file}" "${this_file}${backup_extension}"
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
297 if test $? -ne 0 ; then
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
298 # We only need to keep comparing until we find *one* that
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
299 # differs, because we'll have to run texindex & tex no
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
300 # matter what.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
301 index_files_changed_p=t
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
302 $verbose "Index file $this_file differed:"
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
303 test $verbose = echo \
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
304 && diff -c "${this_file}${backup_extension}" "${this_file}"
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
305 break
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
306 fi
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
307 done
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
308 fi
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
309
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
310 # If index files have changed since TeX has been run, or if the aux
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
311 # file wasn't present originally, run texindex and TeX again.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
312 if test "${index_files_changed_p}" ; then :; else
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
313 # Nothing changed. We're done with TeX.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
314 break
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
315 fi
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
316 done
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
317
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
318 # Generate list of files to delete, then call rm once with the entire
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
319 # list. This is significantly faster than multiple executions of rm.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
320 file_list=
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
321 for file in ${orig_index_files} ; do
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
322 file_list="${file_list} ${file}${backup_extension}"
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
323 done
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
324 if test -n "${file_list}" ; then
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
325 $verbose "Removing $file_list $tmp_dir $tmp_dir.2 ..."
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
326 rm -f ${file_list}
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
327 rm -rf $tmp_dir $tmp_dir.2
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
328 fi
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
329 done
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
330
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
331 $verbose "$0 done."
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
332 true # exit successfully.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
333
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
334 # texi2dvi ends here
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
335 # $Log: texi2dvi,v $
3285
6929a31e7624 [project @ 1999-10-13 21:59:11 by jwe]
jwe
parents: 2519
diff changeset
336 # Revision 1.3 1999-10-13 21:59:11 jwe
2519
6914eab16f0b [project @ 1996-11-14 20:48:14 by jwe]
jwe
parents: 2518
diff changeset
337 # *** empty log message ***
6914eab16f0b [project @ 1996-11-14 20:48:14 by jwe]
jwe
parents: 2518
diff changeset
338 #
6914eab16f0b [project @ 1996-11-14 20:48:14 by jwe]
jwe
parents: 2518
diff changeset
339 # Revision 1.1 1996/11/14 20:42:03 jwe
2518
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
340 # *** empty log message ***
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
341 #
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
342 # Revision 1.10 1996/10/04 18:21:55 karl
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
343 # Include only the current year in the copyright message.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
344 #
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
345 # Revision 1.9 1996/10/04 11:49:48 karl
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
346 # Exit successfully. From arnold.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
347 #
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
348 # Revision 1.8 1996/10/03 23:14:26 karl
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
349 # Only show diff if verbose.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
350 # Update version number.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
351 #
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
352 # Revision 1.7 1996/09/29 22:56:08 karl
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
353 # Use $progname instead of $0 for --version.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
354 #
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
355 # Revision 1.6 1996/09/28 21:01:23 karl
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
356 # Recompute original index files each time through loop.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
357 # Make indentation uniform.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
358 # Use same basename for the temp input files.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
359 # Standardize --version output.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
360 #
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
361 # Revision 1.5 1996/09/26 14:46:34 karl
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
362 # (texi2dvi): Run TeX until the aux/index files stabilize, instead of just
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
363 # twice. From: David Shaw <daves@gsms01.alcatel.com.au>.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
364 #
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
365 # Revision 1.4 1996/08/27 18:59:26 karl
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
366 # Include bug reporting address.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
367 #
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
368 # Revision 1.3 1996/07/26 18:20:56 karl
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
369 # Do macro expansion with makeinfo before running TeX.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
370 # Various expansion safety measures added for test; avoid use of -o.
64de62e8e73d [project @ 1996-11-14 20:42:03 by jwe]
jwe
parents:
diff changeset
371 #