[bug #61167] "make man" does not generate manpages, as it should

[Ingo Schwarze]

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/