]> thyrsus.com Git - galaxis.git/commitdiff
Add a needed production.
authorEric S. Raymond <esr@thyrsus.com>
Tue, 19 Oct 2010 13:49:23 +0000 (09:49 -0400)
committerEric S. Raymond <esr@thyrsus.com>
Tue, 19 Oct 2010 13:49:23 +0000 (09:49 -0400)
Makefile

index aa4226ab28c107af483d4ef508e2ca1b10eda83b..23a06149d33fe6cc08cda96362767cdc2cca75c2 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -17,6 +17,8 @@ galaxis: galaxis.c
 
 galaxis.6: galaxis.xml
        xmlto man galaxis.xml
+galaxis.html: galaxis.xml
+       xmlto html-nochunks galaxis.xml
 
 install: galaxis.6 uninstall
        install -m 755 -o 0 -g 0 -d $(ROOT)/usr/bin/