| 1 | EXTRA_DIST = cmd protocol.tex |
| 2 | |
| 3 | .dvi.ps: |
| 4 | dvips -o $@ $< |
| 5 | |
| 6 | protocol.dvi: protocol.tex commands.tex protocol.1st reqlist.sty |
| 7 | latex protocol |
| 8 | |
| 9 | protocol.1st: protocol.tex commands.tex reqlist.sty |
| 10 | latex protocol |
| 11 | touch protocol.1st |
| 12 | |
| 13 | commands.tex: cmd/*.tex |
| 14 | rm -f commands.tex; \ |
| 15 | for f in cmd/*.tex; do \ |
| 16 | cmd="$${f%.tex}"; \ |
| 17 | cmd="$${cmd##*/}"; \ |
| 18 | echo "\\begin{reqspec}{$$cmd}" >>commands.tex; \ |
| 19 | cat "$$f" >>commands.tex; \ |
| 20 | echo "\\end{reqspec}" >>commands.tex; \ |
| 21 | done |
| 22 | |
| 23 | clean-local: |
| 24 | rm -f protocol.aux protocol.log protocol.dvi commands.tex \ |
| 25 | protocol.1st protocol.ps protocol.out |