summaryrefslogtreecommitdiff
path: root/docs/usermanual/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'docs/usermanual/Makefile')
-rw-r--r--docs/usermanual/Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/docs/usermanual/Makefile b/docs/usermanual/Makefile
index 5649442ed5..305448af4f 100644
--- a/docs/usermanual/Makefile
+++ b/docs/usermanual/Makefile
@@ -6,7 +6,7 @@ types = $(xmltotypes) $(htmltypes) $(docbooktotypes)
xmltotypes =
docbooktotypes = dvi pdf ps rtf tex texi txt
htmltypes = html xhtml
-htmlxsl = $(if $(filter $@,$(foreach type,$(htmltypes),$(type)-nochunks)),docbook-utf8.xsl,http://docbook.sourceforge.net/release/xsl/current/$@/chunk.xsl)
+htmlxsl = $(if $(filter $@,$(foreach type,$(htmltypes),$(type)-nochunks)),docbook-utf8.xsl,chunk-utf8.xsl)
htmlcssfile = docbook.css
htmlcss = $(topdir)/html.css
# htmlcssfile =
@@ -20,7 +20,7 @@ endef
else
define command
@echo $(2) $(3) $(4)
- @$(1) >/dev/null
+ @$(1)
endef
endif