# HG changeset patch # User Thomas Arendsen Hein # Date 1124692382 -7200 # Node ID b0e581438835195c7ff92271d1d824e0029bb6fa # Parent b634b15c020b2656546d8952afb8da798d6a0c54 Generate html documentation by default, too. diff -r b634b15c020b -r b0e581438835 doc/Makefile --- a/doc/Makefile Sun Aug 21 22:03:36 2005 -0700 +++ b/doc/Makefile Mon Aug 22 08:33:02 2005 +0200 @@ -2,7 +2,7 @@ MAN=$(SOURCES:%.txt=%) HTML=$(SOURCES:%.txt=%.html) -all: man +all: man html man: $(MAN)