diff options
Diffstat (limited to 'Documentation/Makefile')
| -rw-r--r-- | Documentation/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Documentation/Makefile b/Documentation/Makefile index 5e012f48e..266af4717 100644 --- a/Documentation/Makefile +++ b/Documentation/Makefile @@ -103,7 +103,7 @@ 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 $< + xmlto html-nochunks $< glossary.html : glossary.txt sort_glossary.pl cat $< | \ |