diff --git a/Documentation/Makefile b/Documentation/Makefile
index 93c7024b481157ca44dc40e844fa279616a03b3d..c2ee5b4824aa8708ddbddf0afd4415442a086557 100644 (file)
--- a/Documentation/Makefile
+++ b/Documentation/Makefile
ARTICLES += everyday
ARTICLES += git-tools
# with their own formatting rules.
-SP_ARTICLES = glossary howto/revert-branch-rebase
+SP_ARTICLES = glossary howto/revert-branch-rebase user-manual
DOC_HTML += $(patsubst %,%.html,$(ARTICLES) $(SP_ARTICLES))
%.xml : %.txt
asciidoc -b docbook -d manpage -f asciidoc.conf $<
+user-manual.xml: user-manual.txt user-manual.conf
+ asciidoc -b docbook -d book $<
+
+user-manual.html: user-manual.xml
+ xmlto -m /etc/asciidoc/docbook-xsl/xhtml.xsl html-nochunks $<
+
git.html: git.txt README
glossary.html : glossary.txt sort_glossary.pl