11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
|
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
|
+
+
+
+
-
+
-
+
+
+
+
+
+
+
+
+
+
+
|
###############################################################
## Version control history
###############################################################
## $Id$
## $Log$
## Revision 1.2 1998/04/15 18:40:43 peterg
## Run LateX three times
##
## Revision 1.1 1998/03/03 08:35:50 peterg
## Initial revision
##
###############################################################
system=$1
documenttype=$2
# Inform user
echo Creating $system.dvi
echo "Creating $system.dvi ($documenttype)"
#Run latex thrice
#Run latex , bibtex and makeindex
latex $system.doc > doc2dvi.log
bibtex $system >> doc2dvi.log
latex $system.doc >> doc2dvi.log
latex $system.doc >> doc2dvi.log
if [ "$documenttype" = "book" ]; then
makeindex $system >> doc2dvi.log
else
touch $system.ind
fi
latex $system.doc >> doc2dvi.log
latex $system.doc >> doc2dvi.log
# Make sure transformation succeeeds
exit 0
|