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
|
#! /bin/sh -e
## 009_docs-ll-userguide.xml.dpatch by <faw@debian.org>
##
## All lines beginning with `## DP:' are a description of the patch.
## DP: fix XML to allow documentation build
if [ $# -lt 1 ]; then
echo "`basename $0`: script expects -patch|-unpatch as argument" >&2
exit 1
fi
[ -f debian/patches/00patch-opts ] && . debian/patches/00patch-opts
patch_opts="${patch_opts:--f --no-backup-if-mismatch} ${2:+-d $2}"
case "$1" in
-patch) patch -p1 ${patch_opts} < $0;;
-unpatch) patch -R -p1 ${patch_opts} < $0;;
*)
echo "`basename $0`: script expects -patch|-unpatch as argument" >&2
exit 1;;
esac
exit 0
@DPATCH@
--- lifelines-3.0.50.orig/docs/ll-userguide.xml
+++ lifelines-3.0.50/docs/ll-userguide.xml
@@ -3649,7 +3649,7 @@
</para>
</glossdef></glossentry>
-<glossentry><glossterm>\ #</glossterm><glossdef>
+<glossentry><glossterm>\#</glossterm><glossdef>
<!-- note above has extra space between \ and # - without this
conversion to pdf gets confused openjade does some tex processing...
-->
|
