]> granicus.if.org Git - graphviz/commit
Merge branch '8e5a4e12-19d8-431b-bdd0-1c86065d6d72' into 'master'
authorMatthew Fernandez <matthew.fernandez@gmail.com>
Fri, 9 Oct 2020 14:57:41 +0000 (14:57 +0000)
committerMatthew Fernandez <matthew.fernandez@gmail.com>
Fri, 9 Oct 2020 14:57:41 +0000 (14:57 +0000)
commit3b2a27f4a04b6c816ef294fff5e94058dfc7a893
tree7f2043b01c6f75ffff98f0fce4774e41d34e59bf
parent04708ce2a967b6960f819c0736dca317199f70dc
parent9cea8ecfb1c6d4840b072de05329037be8db6a54
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