diff options
Diffstat (limited to 'Master/texmf-dist/doc/latex/notes/makedoc')
-rw-r--r-- | Master/texmf-dist/doc/latex/notes/makedoc | 57 |
1 files changed, 57 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/notes/makedoc b/Master/texmf-dist/doc/latex/notes/makedoc new file mode 100644 index 00000000000..66b77b7f65b --- /dev/null +++ b/Master/texmf-dist/doc/latex/notes/makedoc @@ -0,0 +1,57 @@ +#!/bin/bash +# +# 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 "" > 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 'notes' (color?): + +if [ -n "$C_OPT" ]; then + echo "\PassOptionsToClass{$C_OPT}{article}" >> ltxdoc.cfg +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=notes.dtx +Base=notes + +echo "1st latex $ThisDoc" +if (latex $ThisDoc > /dev/null); then + echo "2nd latex $ThisDoc" + latex $ThisDoc > /dev/null + + echo "makeindex -s gind.ist $Base.idx" + makeindex -s gind.ist $Base.idx + echo "3rd latex $ThisDoc" + latex $ThisDoc > /dev/null +else + echo "!!! LaTeX ERROR: $ThisDoc. (See $Base.log.)" +fi |