# HG changeset patch
# User markus schnalke <meillo@marmaro.de>
# Date 1341938912 -7200
# Node ID 25d05add0d9766eb356b1e83236cdeef810e9491
# Parent  846f6a67f44e712a076c9839765ee950e8aadba0
Mentioned the source of the Dijkstra quote and fixed the ref system.

diff -r 846f6a67f44e -r 25d05add0d97 colophon.roff
--- a/colophon.roff	Tue Jul 10 18:18:08 2012 +0200
+++ b/colophon.roff	Tue Jul 10 18:48:32 2012 +0200
@@ -46,8 +46,15 @@
 The complete sources of this document, as well as final versions in
 PDF and Postscript format, are available on my website:
 .L http://marmaro.de/docs \^.
+
 .sp 2
 .LP
 This document may be copied and redistributed in complete form.
 Apart from that, follow the scientific custom:
 Quote and acknowledge the reference.
+
+.sp 4c
+.LP
+Dijkstra's words on page
+.Cf dijkstra.page
+are a quotation of EWD\|648.
diff -r 846f6a67f44e -r 25d05add0d97 dedication.roff
--- a/dedication.roff	Tue Jul 10 18:18:08 2012 +0200
+++ b/dedication.roff	Tue Jul 10 18:48:32 2012 +0200
@@ -41,6 +41,7 @@
 .\" EWD 648
 .sp
 \(em Edsger W. Dijkstra \(em
+.Id dijkstra
 
 
 .ig
diff -r 846f6a67f44e -r 25d05add0d97 makefile
--- 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");\