source: mod_gnutls/debian/patches/0001-Never-build-PDF-documentation.patch @ 8f929d7

Last change on this file since 8f929d7 was 8f929d7, checked in by Fiona Klute <fiona.klute@…>, 16 months ago

Disable building PDF documentation (Closes: #917582)

  • Property mode set to 100644
File size: 684 bytes

    From: Fiona Klute <>
    Date: Wed, 30 Jan 2019 08:33:30 +0100
    Subject: Never build PDF documentation
    It's not installed anyway, and breaks the build if pdflatex is
    available but fonts used by pandoc are missing.
    --- | 2 +-
     1 file changed, 1 insertion(+), 1 deletion(-)
    diff --git a/ b/
    index 48febcf..4082777 100644
    a b AC_MSG_RESULT($use_msva) 
    211211AC_PATH_PROG([PANDOC], [pandoc], [no])
    212212if test "$PANDOC" != "no"; then
    213         AC_PATH_PROG([PDFLATEX], [pdflatex], [no])
     213        PDFLATEX="no"
    214214        if test "$PDFLATEX" != "no"; then
    215215                build_doc="html, manual page, pdf"
    216216        else
Note: See TracBrowser for help on using the repository browser.