Commit | Line | Data |
---|---|---|
f11a3675 FT |
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 | ||
3305f52e FT |
13 | commands.tex: cmd/*.tex |
14 | rm -f commands.tex; \ | |
15 | for f in cmd/*.tex; do \ | |
f11a3675 | 16 | echo "\\begin{reqspec}{${f%.tex}}" >>commands.tex; \ |
3305f52e | 17 | cat "$$f" >>commands.tex; \ |
f11a3675 FT |
18 | echo "\\end{reqspec}" >>commands.tex; \ |
19 | done | |
3305f52e FT |
20 | |
21 | clean-local: | |
22 | rm -f protocol.aux protocol.log protocol.dvi commands.tex \ | |
e835214a | 23 | protocol.1st protocol.ps protocol.out |