blob: ad04d579ad95646d243c26d0e9dc32c73984e3d3 (
plain)
1
2
3
4
5
6
7
8
9
10
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
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
|
#!/bin/bash
# Unfortunately I had to fix several errors in the build script to make the manual compilable!!
#
# Everything after a `#' is ignored
#
# remove the string `> /dev/null' if you want more log-output
# remove the line containing `batchmode' if you want even more
# log-information while running LaTeX
#
#----------------- create a `ltxdoc.cfg': --------------------------
# Make sure that we start with an clean 'ltxdoc.cfg':
echo -n > ltxdoc.cfg
# Put here a (comma-separated) list of options to pass to
# class 'article':
C_OPT=a4paper
# Put here a (comma-separated) list of options to pass to
# package 'flabels' (color?):
P_OPT=color
if [ -n "$C_OPT" ]; then
echo "\PassOptionsToClass{$C_OPT}{article}" >> ltxdoc.cfg
fi
if [ -n "$P_OPT" ]; then
echo "\PassOptionsToPackage{$P_OPT}{flabels}" >> ltxdoc.cfg
if echo $P_OPT | grep color > /dev/null && [ ! -s color.cfg ]; then
echo "Package 'color' needs a file 'color.cfg'!"
fi
fi
#echo "\batchmode" >> ltxdoc.cfg
# The next lines produce full indexes and change logs
# you may not want those (comment the lines out with
# TeX-comment-character '%'!)
cat >> ltxdoc.cfg <<EOF
\AtBeginDocument{\RecordChanges}
\AtEndDocument{\PrintChanges}
\AtBeginDocument{\CodelineIndex\EnableCrossrefs}
\AtEndDocument{\PrintIndex}
\AtEndDocument{\addcontentsline{toc}{section}{Index}}
EOF
# If you do not want any code listings, just documentation, then instead
# of the lines above, uncomment the following:
#echo "\AtBeginDocument{\OnlyDescription}" >> ltxdoc.cfg
#---------- latex the documentation using `ltxdoc.cfg': --------------
ThisDoc=flabels.dtx
Base=flabels
echo "1st latex $ThisDoc"
if pdflatex $ThisDoc ; then
echo "2nd latex $ThisDoc"
pdflatex $ThisDoc
echo "makeindex -s gind.ist $Base.idx"
#ugly
sed -i '.bak' -e 's/\\verb!\*\+\\->/\\verb!*+\\-!>/' "$Base.idx"
makeindex -s gind.ist $Base.idx
echo "3rd latex $ThisDoc"
pdflatex $ThisDoc
else
echo "!!! LaTeX ERROR: $ThisDoc. (See $Base.log.)"
fi
|
