diff options
author | Karl Berry <karl@freefriends.org> | 2009-01-18 01:02:30 +0000 |
---|---|---|
committer | Karl Berry <karl@freefriends.org> | 2009-01-18 01:02:30 +0000 |
commit | 9a5f9a8fbaf534d7f2b0afa74d07e45ea5fada89 (patch) | |
tree | 44f442c8f248f8e30563a2f3cd93808afd27f906 /Master/texmf-dist/doc/latex/bosisio/makedoc | |
parent | fb9eedce0aead30fcccca93da6d6b9a6d64bac46 (diff) |
new old latex packages bosisio (17jan09)
git-svn-id: svn://tug.org/texlive/trunk@11906 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Master/texmf-dist/doc/latex/bosisio/makedoc')
-rw-r--r-- | Master/texmf-dist/doc/latex/bosisio/makedoc | 103 |
1 files changed, 103 insertions, 0 deletions
diff --git a/Master/texmf-dist/doc/latex/bosisio/makedoc b/Master/texmf-dist/doc/latex/bosisio/makedoc new file mode 100644 index 00000000000..dfebbcaa5a5 --- /dev/null +++ b/Master/texmf-dist/doc/latex/bosisio/makedoc @@ -0,0 +1,103 @@ + ######################################################### + # # + # FILE makedoc # + # # + # Copyright(C) by F. Bosisio, 6 September 1997 # + # # + # E-mail: bosisio@mate.polimi.it # + # # + ######################################################### +# +# If there isn't a command-line parameter, ask for a filename +# +if test $1 +then + FILE=$1 +else + echo ' Insert the filename you want to process with makedoc' + read + FILE=$REPLY +fi +# +# Strip the ".dtx" extension (if present) and check that the file exists +# +FILE=`basename $FILE .dtx` +test -f $FILE.dtx || exit +# +# Run LaTeX on the ".dtx" file to generate the ".sty" and ".drv" files +# +echo +echo " Running LaTeX on $FILE.dtx ..." +echo +latex $FILE.dtx || exit +# +# Run LaTeX once to generate the ".aux", ".idx" and ".glo" files +# +echo +echo " Running LaTeX on $FILE.drv ..." +echo +latex $FILE.drv || exit +# +# Run BibTeX to generate the bibliography file (".bbl") +# +if grep bibdata $FILE.aux +then + echo + echo " Running BibTeX on $FILE.aux ..." + echo + bibtex $FILE || exit + rm $FILE.blg +fi +# +# Run MakeIndex on the index file +# +if test $FILE.idx +then + echo + echo " Running MakeIndex on $FILE.idx ..." + echo + makeindex -s gind.ist -o $FILE.ind $FILE.idx || exit + rm $FILE.ilg +fi +# +# Run MakeIndex on the glossary file +# +if test $FILE.glo +then + echo + echo " Running MakeIndex on $FILE.glo ..." + echo + makeindex -s gglo.ist -o $FILE.gls $FILE.glo || exit + rm $FILE.ilg +fi +# +# Rerun LaTeX to read the ".bbl", ".ind" and ".gls" files +# +echo +echo ' Re-running LaTeX on $FILE.drv ...' +echo +latex $FILE.drv +# +# Rerun LaTeX again to get the cross-references right +# +if grep "Rerun to get cross-references right" makedoc.log +then + echo + echo ' Re-running LaTeX again on $FILE.drv ...' + echo + latex $FILE.drv +fi +rm $FILE.drv $FILE.log $FILE.aux $FILE.ind $FILE.glo $FILE.bbl $FILE.idx $FILE.gls +# +# Show the generated output +# +xdvi $FILE.dvi +# +# Run DviPs to produce the postscript file +# +echo +echo ' Running DviPs ...' +echo +dvips $FILE.dvi +rm $FILE.dvi + |