Skip HTML generation if groff HTML driver isn't present
commit5e45d8a2ea71a67a189cc554da060aa9b1450e1d
authorRoland Lutz <rlutz@hedmen.org>
Sun, 5 Apr 2020 12:28:08 +0000 (5 14:28 +0200)
committerRoland Lutz <rlutz@hedmen.org>
Fri, 4 Sep 2020 10:47:03 +0000 (4 12:47 +0200)
tree875cb47a1990d5bd3b7bc8f3c4044b6a17668b80
parent0465d1df75aa9b1f3fa1735e38072ed50390a7f2
Skip HTML generation if groff HTML driver isn't present
docs/Makefile.am
gaf/Makefile.am
gattrib/docs/Makefile.am
gnetlist-legacy/docs/Makefile.am
gschem/docs/Makefile.am
gsymcheck/docs/Makefile.am
utils/docs/Makefile.am