From 456adc6a4ae66af751c5689eecb012b76ed4c086 Mon Sep 17 00:00:00 2001
From: Vitor Santos Costa <vsc@dcc.fc.up.pt>
Date: Mon, 13 Jun 2011 01:45:29 +0100
Subject: [PATCH] pldoc seems to be working in YAP.

---
 packages/Dialect.defs.in | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/packages/Dialect.defs.in b/packages/Dialect.defs.in
index 8bdf4f136..17e1abebc 100644
--- a/packages/Dialect.defs.in
+++ b/packages/Dialect.defs.in
@@ -56,8 +56,8 @@ MKINDEX=$(PL) -f none -g make -t halt
 	swipl -f script.pl -g "doc_latex('$*.txt','$*.tex',[stand_alone(false)]),halt" -t "halt(1)"
 
 
-PUBLICPL=swipl
-PLTOTEX=$(PUBLICPL) -q -s pltotex.pl -g pltotex --
+PUBLICPL=$(PL)
+PLTOTEX=$(PUBLICPL) -q -l $(srcdir)/pltotex.pl -g pltotex --
 
 #
 # find out how to generate .o files from $(scrdir)