diff 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
line wrap: on
line diff
--- a/makefile	Tue Jul 10 18:18:08 2012 +0200
+++ b/makefile	Tue Jul 10 18:48:32 2012 +0200
@@ -22,7 +22,7 @@
 
 refs.ig: err.ig
 	mkdir -p refs
-	awk '/^REF____/{ \
+	awk -F '\t' '/^REF____/{ \
 		sub(/^REF____/,""); \
 		printf $$2 >"refs/"$$1; close("refs/$$1"); \
 		printf $$3 >"refs/"$$1".page"; close("refs/$$1.page");\