Commit | Line | Data |
---|---|---|
52a1f5fc | 1 | EXTRA_DIST = cmd protocol.tex reqlist.sty |
f11a3675 FT |
2 | |
3 | .dvi.ps: | |
4 | dvips -o $@ $< | |
5 | ||
6d0881b5 | 6 | protocol.dvi: protocol.tex commands.tex protocol.1st reqlist.sty |
f11a3675 FT |
7 | latex protocol |
8 | ||
6d0881b5 | 9 | protocol.1st: protocol.tex commands.tex reqlist.sty |
f11a3675 FT |
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 \ | |
6d0881b5 FT |
16 | cmd="$${f%.tex}"; \ |
17 | cmd="$${cmd##*/}"; \ | |
18 | echo "\\begin{reqspec}{$$cmd}" >>commands.tex; \ | |
3305f52e | 19 | cat "$$f" >>commands.tex; \ |
f11a3675 FT |
20 | echo "\\end{reqspec}" >>commands.tex; \ |
21 | done | |
3305f52e FT |
22 | |
23 | clean-local: | |
24 | rm -f protocol.aux protocol.log protocol.dvi commands.tex \ | |
7d6f5b4e | 25 | protocol.1st protocol.ps protocol.out protocol.toc |