[PATCH 1 of 3] Generate html documentation by default, too

[Thomas Arendsen Hein]

Patch subject is complete summary.


# HG changeset patch
# User Thomas Arendsen Hein <thomas at intevation.de>
# Node ID b0e581438835195c7ff92271d1d824e0029bb6fa
# Parent  b634b15c020b2656546d8952afb8da798d6a0c54
Generate html documentation by default, too.

diff -r b634b15c020b -r b0e581438835 doc/Makefile
--- a/doc/Makefile	Mon Aug 22 05:03:36 2005
+++ b/doc/Makefile	Mon Aug 22 06:33:02 2005
@@ -2,7 +2,7 @@
 MAN=$(SOURCES:%.txt=%)
 HTML=$(SOURCES:%.txt=%.html)
 
-all: man
+all: man html
 
 man: $(MAN)