Overview
Comment:Indexing of book docs.
Downloads: Tarball | ZIP archive
Timelines: family | ancestors | descendants | both | origin/master | trunk
Files: files | file ages | folders
SHA3-256: cf2a004482c8fcb545d172b12be0bf4fd0e985dee60a9583bce4fe841eca6d0e
User & Date: gawthrop@users.sourceforge.net on 1998-11-24 12:03:27.000
Other Links: branch diff | manifest | tags
Context
1998-11-25
10:48:34
Initial revision check-in: 403b4e24a4 user: gawthrop@users.sourceforge.net tags: origin/master, trunk
1998-11-24
12:03:27
Indexing of book docs. check-in: cf2a004482 user: gawthrop@users.sourceforge.net tags: origin/master, trunk
1998-11-23
13:37:55
Initial revision check-in: 9ff40e9a7c user: gawthrop@users.sourceforge.net tags: origin/master, trunk
Changes
Side-by-Side Diff Ignore Whitespace Patch
Modified mttroot/mtt/bin/trans/doc2dvi from [dc3b8b39d3] to [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 ]