1 EXTRA_DIST = cmd protocol.tex
6 protocol.dvi: protocol.tex commands.tex protocol.1st
9 protocol.1st: protocol.tex commands.tex
13 commands.tex: cmd/*.tex
15 for f in cmd/*.tex; do \
16 echo "\\begin{reqspec}{${f%.tex}}" >>commands.tex; \
17 cat "$$f" >>commands.tex; \
18 echo "\\end{reqspec}" >>commands.tex; \
22 rm -f protocol.aux protocol.log protocol.dvi commands.tex \
23 protocol.1st protocol.ps