From: Keith Packard <keithp@keithp.com>
Date: Wed, 22 Aug 2018 07:59:59 +0000 (-0700)
Subject: doc: Don't accidentally create zero-length PDF files
X-Git-Tag: 1.8.7~3^2~48
X-Git-Url: https://git.gag.com/?a=commitdiff_plain;h=8dd942b59edbe6909128b88bfbb8d1e15c3857c6;hp=8dd942b59edbe6909128b88bfbb8d1e15c3857c6;p=fw%2Faltos

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>
---