docs/master

diff makefile @ 234:eba3744fb238

find changesets by author, revision, files, or words in the commit message
Added my set of helper scripts. Removes the spell makefile target as it was not use{d,ful} anyway. Btw: I should have ran script/doubles before I printed the document. :-/
author markus schnalke <meillo@marmaro.de>
date Mon, 16 Jul 2012 11:23:30 +0200
parents 1fa5a74bf138
children
line diff
     1.1 --- a/makefile	Mon Jul 16 08:26:17 2012 +0200
     1.2 +++ b/makefile	Mon Jul 16 11:23:30 2012 +0200
     1.3 @@ -45,7 +45,3 @@
     1.4  	rm -f $(NAME).ps $(NAME).pdf book.ps book.pdf
     1.5  	rm -rf refs
     1.6  	rm -f *.ig
     1.7 -
     1.8 -spell:
     1.9 -	sort -u -o terms terms
    1.10 -	spell +terms *.roff | egrep -v '[0-9a-f]{40}'