changeset 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 846f6a67f44e
children 3d7db5c7965d
files colophon.roff dedication.roff makefile
diffstat 3 files changed, 9 insertions(+), 1 deletions(-) [+]
line wrap: on
line diff
--- 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.
--- 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
--- 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");\