Commit | Line | Data |
---|---|---|
1 | EXTRA_DIST = cmd protocol.tex | |
2 | ||
3 | .dvi.ps: | |
4 | dvips -o $@ $< | |
5 | ||
6 | protocol.dvi: protocol.tex commands.tex protocol.1st | |
7 | latex protocol | |
8 | ||
9 | protocol.1st: protocol.tex commands.tex | |
10 | latex protocol | |
11 | touch protocol.1st | |
12 | ||
13 | commands.tex: cmds/*.tex | |
14 | rm -f commands.tex \ | |
15 | for f in cmds/*.tex; do \ | |
16 | echo "\\begin{reqspec}{${f%.tex}}" >>commands.tex; \ | |
17 | cat "$f" >>commands.tex; \ | |
18 | echo "\\end{reqspec}" >>commands.tex; \ | |
19 | done |