|From:||Alfred M. Szmidt|
|Subject:||Re: clean up left over html files|
|Date:||Sun, 05 Dec 2021 04:38:37 -0500|
GNU makeinfo doesn't know about previously generated files, so it cannot know what to clean out (maybe the user created them). If you wish to do that, use a make target that cleans them out for you.
|[Prev in Thread]||Current Thread||[Next in Thread]|