# HG changeset patch # User markus schnalke # Date 1341664895 -7200 # Node ID db199d51d5b0fef378cb3ace2cdac45540bf1870 # Parent 75f20c925999903e8eac1009cdc16249ff15729d makefile: Fixed building of refs. diff -r 75f20c925999 -r db199d51d5b0 makefile --- a/makefile Fri Jul 06 21:11:09 2012 +0200 +++ b/makefile Sat Jul 07 14:41:35 2012 +0200 @@ -7,7 +7,7 @@ all: $(NAME).ps -$(NAME).ps: $(CHAPS) makefile bib rfcs toc.ig refs +$(NAME).ps: $(CHAPS) makefile bib rfcs toc.ig refs.ig export TROFFONTS=fonts;\ soelim $(CHAPS) | $(REFER) | \ grap | pic | troff -Tps -ms 2>err.ig | dpost >$@ @@ -20,7 +20,8 @@ toc.ig: err.ig sed -n '/^TOC____/s///p' err.ig >$@ -refs: err.ig +refs.ig: err.ig + mkdir -p refs awk '/^REF____/{ \ sub(/^REF____/,""); \ printf $$2 >"refs/"$$1; close("refs/$$1"); \ @@ -39,7 +40,7 @@ clean: rm -f $(NAME).ps $(NAME).pdf book.ps book.pdf - rm -f refs/* + rm -rf refs rm -f *.ig spell: