Follow-up Comment #6, bug #61167 (project groff):
Right now, let me refrain from lobbying for the deletion of a target that
already exists, even if i doubt its importance; i think more important cleanup
work exists, and the bar for deleting an existing feature is likely a bit
higher than the bar for adding a new one would be.
That said, i think Keith is right that having a feature which does not work is
a bug, and thanks to Branden for the analysis of what goes wrong.
If we want "man" to be the name of a target (which apparently was already
decided in the past), then having a directory of the same name looks like
asking for trouble to me. So if renaming the directory does indeed fix the
bug, then that sounds reasonable to me. I did not inspect the patch, but
trust Branden to not break the build system if he decides to do it.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?61167>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
