File r38/doc/util/mkpdf.bat from the latest check-in


rem Create a dvi and pdf file of the REDUCE manual.
rem This requires MikTeX version 1.11c or later.

latex r38
bibtex r38
latex r38
latex r38
makeindex r38
latex r38

dvipdfm r38





REDUCE Historical
REDUCE Sourceforge Project | Historical SVN Repository | GitHub Mirror | SourceHut Mirror | NotABug Mirror | Chisel Mirror | Chisel RSS ]