From: Matthew Fernandez <matthew.fernandez@gmail.com>
Date: Fri, 9 Oct 2020 14:57:41 +0000 (+0000)
Subject: Merge branch '8e5a4e12-19d8-431b-bdd0-1c86065d6d72' into 'master'
X-Git-Tag: 2.46.0~20^2^2~46
X-Git-Url: https://granicus.if.org/sourcecode?a=commitdiff_plain;h=3b2a27f4a04b6c816ef294fff5e94058dfc7a893;p=graphviz

Merge branch '8e5a4e12-19d8-431b-bdd0-1c86065d6d72' into 'master'

add configure option for controlling man page PDF generation

Closes #1763

See merge request graphviz/graphviz!1600
---

3b2a27f4a04b6c816ef294fff5e94058dfc7a893