From 6d0881b544e841d5b835960b3419da97ff604792 Mon Sep 17 00:00:00 2001 From: Fredrik Tolf Date: Sat, 7 Jul 2007 02:27:31 +0200 Subject: [PATCH] Improve protocol doc Makefile. --- doc/protocol/Makefile.am | 8 +++++--- 1 file changed, 5 insertions(+), 3 deletions(-) diff --git a/doc/protocol/Makefile.am b/doc/protocol/Makefile.am index 6c091f4..ec6345f 100644 --- a/doc/protocol/Makefile.am +++ b/doc/protocol/Makefile.am @@ -3,17 +3,19 @@ EXTRA_DIST = cmd protocol.tex .dvi.ps: dvips -o $@ $< -protocol.dvi: protocol.tex commands.tex protocol.1st +protocol.dvi: protocol.tex commands.tex protocol.1st reqlist.sty latex protocol -protocol.1st: protocol.tex commands.tex +protocol.1st: protocol.tex commands.tex reqlist.sty latex protocol touch protocol.1st commands.tex: cmd/*.tex rm -f commands.tex; \ for f in cmd/*.tex; do \ - echo "\\begin{reqspec}{${f%.tex}}" >>commands.tex; \ + cmd="$${f%.tex}"; \ + cmd="$${cmd##*/}"; \ + echo "\\begin{reqspec}{$$cmd}" >>commands.tex; \ cat "$$f" >>commands.tex; \ echo "\\end{reqspec}" >>commands.tex; \ done -- 2.11.0