docs/master

diff makefile @ 176:25d05add0d97

find changesets by author, revision, files, or words in the commit message
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 diff
     1.1 --- a/makefile	Tue Jul 10 18:18:08 2012 +0200
     1.2 +++ b/makefile	Tue Jul 10 18:48:32 2012 +0200
     1.3 @@ -22,7 +22,7 @@
     1.4  
     1.5  refs.ig: err.ig
     1.6  	mkdir -p refs
     1.7 -	awk '/^REF____/{ \
     1.8 +	awk -F '\t' '/^REF____/{ \
     1.9  		sub(/^REF____/,""); \
    1.10  		printf $$2 >"refs/"$$1; close("refs/$$1"); \
    1.11  		printf $$3 >"refs/"$$1".page"; close("refs/$$1.page");\