diff makefile @ 121:edbc6e1dc636

New text on Standard Libraries plus spellchecking.
author markus schnalke <meillo@marmaro.de>
date Tue, 26 Jun 2012 22:06:20 +0200
parents 7dc4867fef91
children 8c56dac46efe
line wrap: on
line diff
--- a/makefile	Tue Jun 26 17:01:35 2012 +0200
+++ b/makefile	Tue Jun 26 22:06:20 2012 +0200
@@ -33,5 +33,5 @@
 	rm -f *.ig
 
 spell:
-	sort -o terms terms
+	sort -u -o terms terms
 	spell +terms *.roff | egrep -v '[0-9a-f]{40}'