docs/master

diff makefile @ 111:8800dbbaedc5

makefile: Target `spell' to help with spell checking.
author markus schnalke <meillo@marmaro.de>
date Sun, 24 Jun 2012 22:00:16 +0200
parents 9f672d3a25f9
children 4a1f5ec6220d
line diff
     1.1 --- a/makefile	Sun Jun 24 21:59:29 2012 +0200
     1.2 +++ b/makefile	Sun Jun 24 22:00:16 2012 +0200
     1.3 @@ -32,3 +32,7 @@
     1.4  clean:
     1.5  	rm -f $(NAME).ps $(NAME).pdf book.ps book.pdf
     1.6  	rm -f *.ig
     1.7 +
     1.8 +spell:
     1.9 +	sort -o terms terms
    1.10 +	spell +terms *.roff | egrep -v '[0-9a-f]{40}'