Build from git breaks if groff html driver not installed

[Gareth Edwards]

When building from sources from git, if I don't have the groff html driver installed, running configure with the default options gives the following transcript in config.log:

configure:12599: checking whether groff has an html driver
groff: can't find `DESC' file
groff:fatal error: invalid device `html' (try installing the `groff' package?)
configure:12608: result: no

Then when I run make, I get:

No working groff available: cannot create gschem.html
make: ***[gschem.html] Error 1

It would be ideal is the build system could detect if the groff html driver is really required for the build earlier in the process.

[Peter TB Brett (peter-b)]

The simplest fix for this is just to not generate HTML versions of man pages -- I've never been convinced of the necessity of it myself, especially when everyone and their dog has a desktop tool that generates pretty man pages on demand.