comparison makefile @ 176:25d05add0d97

Mentioned the source of the Dijkstra quote and fixed the ref system.
author markus schnalke <meillo@marmaro.de>
date Tue, 10 Jul 2012 18:48:32 +0200
parents 35fc40a5011d
children 1d28ed59de8a
comparison
equal deleted inserted replaced
175:846f6a67f44e 176:25d05add0d97
20 toc.ig: err.ig 20 toc.ig: err.ig
21 sed -n '/^TOC____/s///p' err.ig >$@ 21 sed -n '/^TOC____/s///p' err.ig >$@
22 22
23 refs.ig: err.ig 23 refs.ig: err.ig
24 mkdir -p refs 24 mkdir -p refs
25 awk '/^REF____/{ \ 25 awk -F '\t' '/^REF____/{ \
26 sub(/^REF____/,""); \ 26 sub(/^REF____/,""); \
27 printf $$2 >"refs/"$$1; close("refs/$$1"); \ 27 printf $$2 >"refs/"$$1; close("refs/$$1"); \
28 printf $$3 >"refs/"$$1".page"; close("refs/$$1.page");\ 28 printf $$3 >"refs/"$$1".page"; close("refs/$$1.page");\
29 }' err.ig 29 }' err.ig
30 30