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 wrap: on
line diff
--- a/makefile	Sun Jun 24 21:59:29 2012 +0200
+++ b/makefile	Sun Jun 24 22:00:16 2012 +0200
@@ -32,3 +32,7 @@
 clean:
 	rm -f $(NAME).ps $(NAME).pdf book.ps book.pdf
 	rm -f *.ig
+
+spell:
+	sort -o terms terms
+	spell +terms *.roff | egrep -v '[0-9a-f]{40}'