diff options
author | Keith Packard <keithp@keithp.com> | 2018-08-22 00:59:59 -0700 |
---|---|---|
committer | Keith Packard <keithp@keithp.com> | 2018-10-02 13:00:32 -0700 |
commit | 8dd942b59edbe6909128b88bfbb8d1e15c3857c6 (patch) | |
tree | ca21bfb570c61f11e110d57753acaefe7a1d6099 /doc | |
parent | 56dcfd4acf830fcb69c8b994e4b989c9aa7ddef3 (diff) |
doc: Don't accidentally create zero-length PDF files
The PDF files are generated at the same time the HTML files are, so
the PDF versions depend on the HTML ones. However, touching the PDF
files is a bad idea.
Signed-off-by: Keith Packard <keithp@keithp.com>
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index 3661a6d6..f460a2ff 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -258,7 +258,7 @@ DOC=$(HTML) $(HTML_REVHISTORY) $(PDF) $(IMAGES) $(STYLESHEET) case $* in release-notes*) ./fix-html $*.html ;; esac .html.pdf: - @touch $@ + @echo $@ .tmpl.xsl: xsltproc --output $@ /usr/share/xml/docbook/stylesheet/docbook-xsl/template/titlepage.xsl $*.tmpl |