diff options
| author | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-09-15 15:21:57 +0000 |
|---|---|---|
| committer | Eelco Dolstra <e.dolstra@tudelft.nl> | 2005-09-15 15:21:57 +0000 |
| commit | d1d027199672f514253cbd7ddef1903fdf2c3710 (patch) | |
| tree | 552cecb62de843ed740fb58cdcb4a84367f8e993 /doc/manual | |
| parent | 7f384d9c1b4699af2e2ea71c644d6e9bd72be581 (diff) | |
* Check for w3m.
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 2cc376612..c85c79d9d 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) |