cat "$$f" >>commands.tex; \
echo "\\end{reqspec}" >>commands.tex; \
done
clean-local:
rm -f protocol.aux protocol.log protocol.dvi commands.tex \
cat "$$f" >>commands.tex; \
echo "\\end{reqspec}" >>commands.tex; \
done
clean-local:
rm -f protocol.aux protocol.log protocol.dvi commands.tex \