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