docs/master

diff makefile @ 156:db199d51d5b0

makefile: Fixed building of refs.
author markus schnalke <meillo@marmaro.de>
date Sat, 07 Jul 2012 14:41:35 +0200
parents ff3a6a0e6255
children 5520bbde3767
line diff
     1.1 --- a/makefile	Fri Jul 06 21:11:09 2012 +0200
     1.2 +++ b/makefile	Sat Jul 07 14:41:35 2012 +0200
     1.3 @@ -7,7 +7,7 @@
     1.4  
     1.5  all: $(NAME).ps
     1.6  
     1.7 -$(NAME).ps: $(CHAPS) makefile bib rfcs toc.ig refs
     1.8 +$(NAME).ps: $(CHAPS) makefile bib rfcs toc.ig refs.ig
     1.9  	export TROFFONTS=fonts;\
    1.10  	soelim $(CHAPS) | $(REFER) | \
    1.11  		grap | pic | troff -Tps -ms 2>err.ig | dpost >$@
    1.12 @@ -20,7 +20,8 @@
    1.13  toc.ig: err.ig
    1.14  	sed -n '/^TOC____/s///p' err.ig >$@
    1.15  
    1.16 -refs: err.ig
    1.17 +refs.ig: err.ig
    1.18 +	mkdir -p refs
    1.19  	awk '/^REF____/{ \
    1.20  		sub(/^REF____/,""); \
    1.21  		printf $$2 >"refs/"$$1; close("refs/$$1"); \
    1.22 @@ -39,7 +40,7 @@
    1.23  
    1.24  clean:
    1.25  	rm -f $(NAME).ps $(NAME).pdf book.ps book.pdf
    1.26 -	rm -f refs/*
    1.27 +	rm -rf refs
    1.28  	rm -f *.ig
    1.29  
    1.30  spell: