More cruft left behind in doc directory

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?
        regards, tom lane