Merge with gitk.

diff --git a/Documentation/Makefile b/Documentation/Makefile
index 137f28fe0ddad833d333499a8a6e31d6b14642f4..4798933a493e56de73dd5ea6b560d2bcc5742843 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
@@ -45,7 +45,7 @@ clean:
        rm -f *.xml *.html *.1 *.7
 
 %.html : %.txt
-       asciidoc -b css-embedded -d manpage $<
+       asciidoc -b xhtml11 -d manpage $<
 
 %.1 %.7 : %.xml
        xmlto man $<