diff options
Diffstat (limited to 'doc/Makefile')
| -rw-r--r-- | doc/Makefile | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index 0a72feed..5737afeb 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -33,8 +33,12 @@ prog.sgml: %.txt: %.sgml ./sgml2txt $< +progspell: prog.sgml + sed -f prog-spell.sed <prog.sgml >prog.spell + ispell prog.spell + userdocs: bird.html bird.dvi bird.txt clean: - rm -f *.html *.tex *.dvi *.log *.ps *.txt *.aux *.toc + rm -f *.html *.tex *.dvi *.log *.ps *.txt *.aux *.toc *.spell rm -f prog.sgml |