doc/Makefile

--- a/doc/Makefile	Fri Feb 03 10:52:25 2006 +0100
+++ b/doc/Makefile	Fri Feb 03 10:54:58 2006 +0100
@@ -15,7 +15,7 @@
 	asciidoc -d manpage -b docbook $*.txt
 
 %.html: %.txt
-	asciidoc -b html4 $*.txt
+	asciidoc -b html4 $*.txt || asciidoc -b html $*.txt
 
 clean:
 	$(RM) $(MAN) $(MAN:%=%.xml) $(MAN:%=%.html)