File: fix_pldoc

package info (click to toggle)
logol 1.7.0-2
  • links: PTS, VCS
  • area: main
  • in suites: jessie, jessie-kfreebsd
  • size: 4,660 kB
  • ctags: 1,144
  • sloc: java: 10,613; perl: 2,651; ansic: 362; xml: 322; ruby: 280; sh: 115; makefile: 35
file content (16 lines) | stat: -rw-r--r-- 597 bytes parent folder | download | duplicates (2)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
Subject: adapt to new swi-prolog
Description: swipl doc generation changed and breaks
 current definition
Author: Olivier Sallou <osallou@debian.org>
Last-Updated: 2013-12-01
Forwarded: yes
Bug: 739916
Upstream-Bug: https://gforge.inria.fr/tracker/index.php?func=detail&aid=16708&group_id=1318&atid=5219
--- a/tools/swidoc.pl
+++ b/tools/swidoc.pl
@@ -1,4 +1,4 @@
 :- use_module(library(doc_latex)).
-:- current_prolog_flag(argv,[_,_,_,_,Doc]),open('logol.tex',write,OS),latex_for_file(Doc,OS,[]),close(OS).
+:- open('logol.tex',write,OS),latex_for_file('logoldoc.pl',OS,[]),close(OS).
 
 :-halt.