diff options
Diffstat (limited to 'doc/manual')
| -rw-r--r-- | doc/manual/Makefile.am | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/doc/manual/Makefile.am b/doc/manual/Makefile.am index 2cc3766120f6..c85c79d9d55e 100644 --- a/doc/manual/Makefile.am +++ b/doc/manual/Makefile.am @@ -51,7 +51,8 @@ NEWS.txt: release-notes.xml $(XSLTPROC) --nonet --xinclude quote-literals.xsl release-notes.xml | \ $(XSLTPROC) --nonet --output $@.tmp.html $(NEWS_OPTS) \ $(docbookxsl)/html/docbook.xsl - - w3m -dump $@.tmp.html > $@ + $(w3m) -dump $@.tmp.html > $@ + rm $@.tmp.html all-local: manual.html NEWS.html NEWS.txt @@ -71,7 +72,7 @@ images: cp $(docbookxsl)/images/callouts/*.png images/callouts chmod +w -R images -KEEP = manual.html manual.is-valid version.txt $(MANS) +KEEP = manual.html manual.is-valid version.txt $(MANS) NEWS.html NEWS.txt EXTRA_DIST = $(MANUAL_SRCS) $(FIGURES) $(KEEP) |