docs/master

changeset 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 846f6a67f44e
children 3d7db5c7965d
files colophon.roff dedication.roff makefile
diffstat 3 files changed, 9 insertions(+), 1 deletions(-) [+]
line diff
     1.1 --- a/colophon.roff	Tue Jul 10 18:18:08 2012 +0200
     1.2 +++ b/colophon.roff	Tue Jul 10 18:48:32 2012 +0200
     1.3 @@ -46,8 +46,15 @@
     1.4  The complete sources of this document, as well as final versions in
     1.5  PDF and Postscript format, are available on my website:
     1.6  .L http://marmaro.de/docs \^.
     1.7 +
     1.8  .sp 2
     1.9  .LP
    1.10  This document may be copied and redistributed in complete form.
    1.11  Apart from that, follow the scientific custom:
    1.12  Quote and acknowledge the reference.
    1.13 +
    1.14 +.sp 4c
    1.15 +.LP
    1.16 +Dijkstra's words on page
    1.17 +.Cf dijkstra.page
    1.18 +are a quotation of EWD\|648.

     2.1 --- a/dedication.roff	Tue Jul 10 18:18:08 2012 +0200
     2.2 +++ b/dedication.roff	Tue Jul 10 18:48:32 2012 +0200
     2.3 @@ -41,6 +41,7 @@
     2.4  .\" EWD 648
     2.5  .sp
     2.6  \(em Edsger W. Dijkstra \(em
     2.7 +.Id dijkstra
     2.8  
     2.9  
    2.10  .ig

     3.1 --- a/makefile	Tue Jul 10 18:18:08 2012 +0200
     3.2 +++ b/makefile	Tue Jul 10 18:48:32 2012 +0200
     3.3 @@ -22,7 +22,7 @@
     3.4  
     3.5  refs.ig: err.ig
     3.6  	mkdir -p refs
     3.7 -	awk '/^REF____/{ \
     3.8 +	awk -F '\t' '/^REF____/{ \
     3.9  		sub(/^REF____/,""); \
    3.10  		printf $$2 >"refs/"$$1; close("refs/$$1"); \
    3.11  		printf $$3 >"refs/"$$1".page"; close("refs/$$1.page");\