[med-svn] r15375 - in trunk/packages/logol/trunk/debian: . patches

[olivier sallou]

Author: osallou-guest
Date: 2013-12-01 11:00:58 +0000 (Sun, 01 Dec 2013)
New Revision: 15375

Added:
   trunk/packages/logol/trunk/debian/patches/fix_pldoc
Modified:
   trunk/packages/logol/trunk/debian/changelog
   trunk/packages/logol/trunk/debian/patches/series
Log:
fix bug 730916 on doc generation with latest swi-prolog package

Modified: trunk/packages/logol/trunk/debian/changelog
===================================================================
--- trunk/packages/logol/trunk/debian/changelog	2013-12-01 10:37:26 UTC (rev 15374)
+++ trunk/packages/logol/trunk/debian/changelog	2013-12-01 11:00:58 UTC (rev 15375)
@@ -1,3 +1,9 @@
+logol (1.6.9-2) unstable; urgency=low
+
+  * Fix prolog doc generation (Closes: #730916).
+
+ -- Olivier Sallou <osallou at debian.org>  Sun, 01 Dec 2013 11:55:42 +0100
+
 logol (1.6.9-1) unstable; urgency=low
 
   * New upstream release (bug fixes, add Windows support

Added: trunk/packages/logol/trunk/debian/patches/fix_pldoc
===================================================================
--- trunk/packages/logol/trunk/debian/patches/fix_pldoc	                        (rev 0)
+++ trunk/packages/logol/trunk/debian/patches/fix_pldoc	2013-12-01 11:00:58 UTC (rev 15375)
@@ -0,0 +1,16 @@
+Subject: adapt to new swi-prolog
+Description: swipl doc generation changed and breaks
+ current definition
+Author: Olivier Sallou <osallou at 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.

Modified: trunk/packages/logol/trunk/debian/patches/series
===================================================================
--- trunk/packages/logol/trunk/debian/patches/series	2013-12-01 10:37:26 UTC (rev 15374)
+++ trunk/packages/logol/trunk/debian/patches/series	2013-12-01 11:00:58 UTC (rev 15375)
@@ -2,3 +2,4 @@
 fixDrmmato6.2
 setDebianDirs
 fix_doc_generation
+fix_pldoc