Differences From Artifact [dc3b8b39d3]:

To Artifact [630791d105]:


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

MTT: Model Transformation Tools
GitHub | SourceHut | Sourceforge | Fossil RSS ]