You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Fix documentation build - issue #190
When configuring, user can pass --disable-docs to autogen.sh/configure:
Man pages will not be built, but resulting dist package will build them
if not also configured using --disable-docs.