Changeset ca0690b in mod_gnutls

Timestamp:

Feb 11, 2020, 1:02:14 PM (2 years ago)

Author:

Fiona Klute <fiona.klute@…>

Branches:

asyncio, master, proxy-ticket

Children:

e932ba5

Parents:

a99f1aa

Message:

Add ./configure option to disable building PDF documentation

The Debian build currently disables PDF documentation with a patch,
this is a more convenient solution.

File:

• configure.ac (modified) (2 diffs)

configure.ac

@@ -182 +182 @@
 build_doc=no
 AC_PATH_PROG([PANDOC], [pandoc], [no])
+AC_ARG_ENABLE(pdf-doc,
+        AS_HELP_STRING([--disable-pdf-doc], [don't build PDF documentation]))
 AS_IF([test "$PANDOC" != "no"], [
         AC_PATH_PROG([PDFLATEX], [pdflatex], [no])
-        if test "$PDFLATEX" != "no"; then
+        if test "$PDFLATEX" != "no" && test "${enable_pdf_doc}" != "no"; then
                 build_doc="html, manual page, pdf"
         else
@@ -197 +199 @@
 AM_CONDITIONAL([USE_PANDOC], [test "$PANDOC" != "no"])
 AM_CONDITIONAL([USE_PDFLATEX], [test "$PANDOC" != "no" && \
-                               test "$PDFLATEX" != "no"])
+                               test "$PDFLATEX" != "no" && \
+                               test "${enable_pdf_doc}" != "no"])
 AM_CONDITIONAL([USE_MARKDOWN], [test -n "$MARKDOWN" && \
                                test "$MARKDOWN" != "no"])