|
| 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] |