Re: [Groff] Add --with-doc configuration option

[Steffen Nurpmeso]

Hello,

find below something that adds the mentioned options and also
tweaks the make system a bit -- 'make install' and 'make
uninstall' seem to work again after the patch series is applied.
There are still problems ('make install' with DESTDIR set results
in some errors along the way, mostly contrib/hdtbl, 'make
uninstall' still leaves some stale directories laying around) and
many oddities; i.e., i wonder why so many/all subdirectories try
to rmdir when they can't and the top makefile has a final
`uninstall_dirs' target..  but the patch series below is
definitely a step towards the right direction.
Comments appreciated.
Ciao,

--steffen

tweak-make.patch
Description: Text Data