diff options
Diffstat (limited to 'Master/texmf-dist/source/latex/notes/makedoc')
-rw-r--r-- | Master/texmf-dist/source/latex/notes/makedoc | 57 |
1 files changed, 0 insertions, 57 deletions
diff --git a/Master/texmf-dist/source/latex/notes/makedoc b/Master/texmf-dist/source/latex/notes/makedoc deleted file mode 100644 index 66b77b7f65b..00000000000 --- a/Master/texmf-dist/source/latex/notes/makedoc +++ /dev/null @@ -1,57 +0,0 @@ -#!/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 |