gnu: swi-prolog: Modify documentation installation.
authorBrett Gilio <brettg@gnu.org>
Sat, 4 Jan 2020 20:51:44 +0000 (14:51 -0600)
committerBrett Gilio <brettg@gnu.org>
Sat, 4 Jan 2020 20:51:44 +0000 (14:51 -0600)
commit235c67341b5373f7d21edfd56a2ff19da4a25efb
tree0e45efb741cb70a975273fbe98c175af80354541
parent5a92e7c9542f60cfe9d932833bbe61d0af7a2860
gnu: swi-prolog: Modify documentation installation.

* gnu/packages/prolog.scm (swi-prolog)[arguments]: Remove configuration step
  for PDF documentation.
gnu/packages/prolog.scm