gadgets-OSC/doc/mkdoc.sh

10 lines
79 B
Bash
Raw Normal View History

2019-08-02 13:52:56 +11:00
#!/bin/bash
DOC=gadgets-osc
pdflatex $DOC.tex
makeindex $DOC
pdflatex $DOC