Re: clean up left over html files

[Gavin Smith]

On Sun, Dec 05, 2021 at 12:13:49AM +0800, 積丹尼 Dan Jacobson wrote:
> Here we see a second run of makeinfo --html has only updated the first file:
> $ ls -ogt
> -rw-r--r-- 1 1714 12-04 23:59 index.html
> -rw-r--r-- 1 2757 12-04 23:49 First-Chapter.html
> -rw-r--r-- 1 2327 12-04 23:49 First-Section.html
> -rw-r--r-- 1 3422 12-04 23:49 Index.html
> -rw-r--r-- 1 2334 12-04 23:49 Second-Section.html
> 
> That is because I altered the source, making it much simpler, so that
> the other files were no longer output.
> 
> Well, shouldn't the other files in that directory be cleaned up on the second 
> run?

I see the problem with leftover files.

Care would have to be taken in case something like
'texi2any file.texi -o . --html' when the output directory contains
other files.  Somebody might even use the -o option incorrectly
by mistake, referring to a directory containing non-manual files.

Maybe texi2any could warn about any extra HTML files that are present
in the directory, if they were not output files.