diff options
Diffstat (limited to 'usermanual/Makefile')
| -rw-r--r-- | usermanual/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/usermanual/Makefile b/usermanual/Makefile index a43c025455..a8bdbc30ad 100644 --- a/usermanual/Makefile +++ b/usermanual/Makefile @@ -5,7 +5,7 @@ manual = $(topdir)/usermanual.xml types = $(xmltotypes) $(htmltypes) xmltotypes = pdf txt htmltypes = html xhtml -htmlxsl = $(if $(filter $@,$(foreach type,$(htmltypes),$(type)-nochunks)),http://docbook.sourceforge.net/release/xsl/current/xhtml/docbook.xsl,http://docbook.sourceforge.net/release/xsl/current/$@/chunk.xsl) +htmlxsl = $(if $(filter $@,$(foreach type,$(htmltypes),$(type)-nochunks)),docbook-utf8.xsl,http://docbook.sourceforge.net/release/xsl/current/$@/chunk.xsl) htmlcssfile = docbook.css htmlcss = $(topdir)/html.css # htmlcssfile = |