Changeset ca0690b in mod_gnutls


Ignore:
Timestamp:
Feb 11, 2020, 1:02:14 PM (10 months ago)
Author:
Fiona Klute <fiona.klute@…>
Branches:
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:
1 edited

Legend:

Unmodified
Added
Removed
  • configure.ac

    ra99f1aa rca0690b  
    182182build_doc=no
    183183AC_PATH_PROG([PANDOC], [pandoc], [no])
     184AC_ARG_ENABLE(pdf-doc,
     185        AS_HELP_STRING([--disable-pdf-doc], [don't build PDF documentation]))
    184186AS_IF([test "$PANDOC" != "no"], [
    185187        AC_PATH_PROG([PDFLATEX], [pdflatex], [no])
    186         if test "$PDFLATEX" != "no"; then
     188        if test "$PDFLATEX" != "no" && test "${enable_pdf_doc}" != "no"; then
    187189                build_doc="html, manual page, pdf"
    188190        else
     
    197199AM_CONDITIONAL([USE_PANDOC], [test "$PANDOC" != "no"])
    198200AM_CONDITIONAL([USE_PDFLATEX], [test "$PANDOC" != "no" && \
    199                                test "$PDFLATEX" != "no"])
     201                               test "$PDFLATEX" != "no" && \
     202                               test "${enable_pdf_doc}" != "no"])
    200203AM_CONDITIONAL([USE_MARKDOWN], [test -n "$MARKDOWN" && \
    201204                               test "$MARKDOWN" != "no"])
Note: See TracChangeset for help on using the changeset viewer.