diogo/yap-6.3
Archived
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

pldoc seems to be working in YAP.

Browse Source
This commit is contained in:
Vitor Santos Costa 2011-06-13 01:45:29 +01:00
parent b57e809adb
commit 456adc6a4a
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
packages/Dialect.defs.in
View File

@ -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)