DD2-monitor/doc/mkdoc.sh

8 lines
96 B
Bash
Raw Normal View History

2018-12-20 17:53:18 +01:00
#!/bin/bash
pdflatex dd2-monitoring.tex
makeindex dd2-monitoring
pdflatex dd2-monitoring.tex