#!/bin/sh # # 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 <> ltxdoc.cfg #---------- latex the documentation using `ltxdoc.cfg': -------------- ThisDoc=flabels.dtx Base=flabels 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