Package: ppl / 1:1.2-8.1

latex_include_ifthen_package.patch Patch series | download
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
Description: Include ifthen package in latex user manual.
 This package is only used by Doxygen but due to the changes introduced
 in their issue #6769 they don't include the package anymore...
Bug: https://github.com/doxygen/doxygen/issues/6769
Bug-Debian: http://bugs.debian.org/943451
Author: Tobias Hansen <thansen@debian.org>

--- a/doc/user.tex
+++ b/doc/user.tex
@@ -59,6 +59,7 @@
 \usepackage{pspicture}
 \fi
 \usepackage[utf8]{inputenc}
+\usepackage{ifthen}
 \usepackage{doxygen}
 \newcommand{\+}{\discretionary{\mbox{\scriptsize$\hookleftarrow$}}{}{}}
 \usepackage{ppl}
--- a/doc/devref-language-interface.tex
+++ b/doc/devref-language-interface.tex
@@ -59,6 +59,7 @@
 \usepackage{pspicture}
 \fi
 \usepackage[utf8]{inputenc}
+\usepackage{ifthen}
 \usepackage{doxygen}
 \newcommand{\+}{\discretionary{\mbox{\scriptsize$\hookleftarrow$}}{}{}}
 <PPL_SED_USEPACKAGE_OCAMLDOC>
--- a/doc/devref.tex
+++ b/doc/devref.tex
@@ -59,6 +59,7 @@
 \usepackage{pspicture}
 \fi
 \usepackage[utf8]{inputenc}
+\usepackage{ifthen}
 \usepackage{doxygen}
 \newcommand{\+}{\discretionary{\mbox{\scriptsize$\hookleftarrow$}}{}{}}
 \usepackage{ppl}
--- a/doc/user-language-interface.tex
+++ b/doc/user-language-interface.tex
@@ -59,6 +59,7 @@
 \usepackage{pspicture}
 \fi
 \usepackage[utf8]{inputenc}
+\usepackage{ifthen}
 \usepackage{doxygen}
 \newcommand{\+}{\discretionary{\mbox{\scriptsize$\hookleftarrow$}}{}{}}
 <PPL_SED_USEPACKAGE_OCAMLDOC>