From 235c67341b5373f7d21edfd56a2ff19da4a25efb Mon Sep 17 00:00:00 2001
From: Brett Gilio <brettg@gnu.org>
Date: Sat, 4 Jan 2020 14:51:44 -0600
Subject: gnu: swi-prolog: Modify documentation installation.

* gnu/packages/prolog.scm (swi-prolog)[arguments]: Remove configuration step
  for PDF documentation.
---
 gnu/packages/prolog.scm | 3 +--
 1 file changed, 1 insertion(+), 2 deletions(-)

diff --git a/gnu/packages/prolog.scm b/gnu/packages/prolog.scm
index bd89c9ad2f..a85e58e19f 100644
--- a/gnu/packages/prolog.scm
+++ b/gnu/packages/prolog.scm
@@ -103,8 +103,7 @@ (define-public swi-prolog
        #:tests? #t
        #:configure-flags
        (list "-DINSTALL_DOCUMENTATION=ON"
-             "-DBUILD_PDF_DOCUMENTATION=ON"
-             "-DSWIPL_INSTALL_IN_LIB=OFF"))) ; FIXME: Breaks RUNPATH validation.
+             "-DSWIPL_INSTALL_IN_LIB=OFF") ; FIXME: Breaks RUNPATH validation.
        #:phases
        (modify-phases %standard-phases
          ;; XXX: Delete a variety of tests which fail either attempting to
-- 
cgit v1.2.3