diff makefile @ 234:eba3744fb238

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 wrap: on
line diff
--- a/makefile	Mon Jul 16 08:26:17 2012 +0200
+++ b/makefile	Mon Jul 16 11:23:30 2012 +0200
@@ -45,7 +45,3 @@
 	rm -f $(NAME).ps $(NAME).pdf book.ps book.pdf
 	rm -rf refs
 	rm -f *.ig
-
-spell:
-	sort -u -o terms terms
-	spell +terms *.roff | egrep -v '[0-9a-f]{40}'