summaryrefslogtreecommitdiff
path: root/Master/texmf-dist/source/latex/notes/makedoc
diff options
context:
space:
mode:
Diffstat (limited to 'Master/texmf-dist/source/latex/notes/makedoc')
-rw-r--r--Master/texmf-dist/source/latex/notes/makedoc57
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