1 EXTRA_DIST = cmd protocol.tex
6 protocol.dvi: protocol.tex commands.tex protocol.1st reqlist.sty
9 protocol.1st: protocol.tex commands.tex reqlist.sty
13 commands.tex: cmd/*.tex
15 for f in cmd/*.tex; do \
18 echo "\\begin{reqspec}{$$cmd}" >>commands.tex; \
19 cat "$$f" >>commands.tex; \
20 echo "\\end{reqspec}" >>commands.tex; \
24 rm -f protocol.aux protocol.log protocol.dvi commands.tex \
25 protocol.1st protocol.ps protocol.out