More cruft left behind in doc directory

On Friday 14 August 2009 21:57:37 Tom Lane wrote:

I observe that the following stuff is still being left behind after
"make distclean" in doc/src/sgml/:

-rw-rw-r--. 1 tgl tgl 934349 Aug 14 14:27 HISTORY.html
-rw-rw-r--. 1 tgl tgl 727464 Aug 14 14:27 HISTORY
-rw-rw-r--. 1 tgl tgl 33746176 Aug 14 14:33 postgres-US.tex-pdf
-rw-rw-r--. 1 tgl tgl 17658960 Aug 14 14:46 postgres-US.pdf
-rw-rw-r--. 1 tgl tgl 218698 Aug 14 14:46 postgres-US.out
-rw-rw-r--. 1 tgl tgl 4050268 Aug 14 14:46 postgres-US.log
-rw-rw-r--. 1 tgl tgl 124398 Aug 14 14:46 postgres-US.aux

if I've done "make HISTORY" and "make postgres-US.pdf". None of these
files are shipped in a tarball, at least not in this directory, so
shouldn't "make distclean" remove 'em?

Well, they are not build by make all or make distprep or a similar standard
target either, so they are a bit outside the rules. Feel free to make
adjustments.