On Monday 10 August 2009 18:59:51 Tom Lane wrote:
> After doing "make" then "make distclean" in doc/src/sgml, I see the
> following undesirable files left behind:
>
> -rw-rw-r-- 1 tgl tgl 58 Aug 10 11:51 version.sgml
> -rw-rw-r-- 1 tgl tgl 38548 Aug 10 11:51 features-unsupported.sgml
> -rw-rw-r-- 1 tgl tgl 42014 Aug 10 11:51 features-supported.sgml
> -rw-rw-r-- 1 tgl tgl 345398 Aug 10 11:52 HTML.index
> -rw-rw-r-- 1 tgl tgl 298859 Aug 10 11:52 bookindex.sgml
> -rw-rw-r-- 1 tgl tgl 0 Aug 10 11:53 html-stamp
>
> I would argue that both "make clean" and "make distclean" should remove
> these.
OK, I fixed that, but html-stamp has to stay to keep the dependencies
satisfied. (Well, there are alternatives. We could make the whole thing
depend on html/index.html or whatever.)
> Also, we seem to need .cvsignore entries for the html/ and manN/
> subdirectories. IMO the policy for .cvsignore is that anything
> intentionally left behind by make distclean is to be cvsignore'd.
Fixed.