lhs2tex: Upgrading from 1.20 to 1.22
Ilias Tsitsimpis
5 years ago
0 | |
lhs2tex (1.20-2) UNRELEASED; urgency=medium
|
|
0 |
lhs2tex (1.22-1) unstable; urgency=medium
|
1 | 1 |
|
2 | 2 |
* Bump debhelper compat level to 10
|
3 | |
|
4 | |
-- Ilias Tsitsimpis <iliastsi@debian.org> Sat, 29 Sep 2018 14:08:53 +0300
|
|
3 |
* New upstream release
|
|
4 |
|
|
5 |
-- Ilias Tsitsimpis <iliastsi@debian.org> Sun, 30 Sep 2018 13:33:30 +0300
|
5 | 6 |
|
6 | 7 |
lhs2tex (1.20-1) unstable; urgency=medium
|
7 | 8 |
|
8 | 8 |
Build-Depends:
|
9 | 9 |
autotools-dev,
|
10 | 10 |
debhelper (>= 10),
|
11 | |
ghc (>= 7.6),
|
|
11 |
ghc,
|
|
12 |
libghc-mtl-dev (>= 2.2.1),
|
12 | 13 |
libghc-regex-compat-dev,
|
13 | 14 |
tex-common,
|
14 | 15 |
Standards-Version: 4.1.4
|
4 | 4 |
## DP: make sure we alway include polytable in the Debian package.
|
5 | 5 |
|
6 | 6 |
@DPATCH@
|
7 | |
Index: lhs2tex-1.15/config.mk.in
|
|
7 |
Index: b/config.mk.in
|
8 | 8 |
===================================================================
|
9 | |
--- lhs2tex-1.15.orig/config.mk.in 2009-12-18 13:21:18.000000000 +0100
|
10 | |
+++ lhs2tex-1.15/config.mk.in 2010-03-25 12:16:17.000000000 +0100
|
11 | |
@@ -41,6 +41,6 @@
|
12 | |
|
|
9 |
--- a/config.mk.in
|
|
10 |
+++ b/config.mk.in
|
|
11 |
@@ -42,6 +42,6 @@ UNIQ = @UNIQ@
|
|
12 |
|
13 | 13 |
polydir = @texmf@/tex/latex/polytable
|
14 | 14 |
texdir = @texmf@/tex/latex/lhs2tex
|
15 | 15 |
-INSTALL_POLYTABLE = @POLYTABLE_INSTALL@
|
16 | 16 |
+INSTALL_POLYTABLE = yes
|
17 | 17 |
MKTEXLSR = @MKTEXLSR@
|
|
18 |
|
4 | 4 |
## DP: Fix a bashism in the examples of lhs2TeX
|
5 | 5 |
|
6 | 6 |
@DPATCH@
|
7 | |
Index: lhs2tex-1.15/Examples/lhs2TeXpre
|
|
7 |
Index: b/Examples/lhs2TeXpre
|
8 | 8 |
===================================================================
|
9 | |
--- lhs2tex-1.15.orig/Examples/lhs2TeXpre 2009-12-18 13:21:18.000000000 +0100
|
10 | |
+++ lhs2tex-1.15/Examples/lhs2TeXpre 2010-03-25 12:16:23.000000000 +0100
|
|
9 |
--- a/Examples/lhs2TeXpre
|
|
10 |
+++ b/Examples/lhs2TeXpre
|
11 | 11 |
@@ -5,7 +5,7 @@
|
12 | |
|
|
12 |
|
13 | 13 |
LHSHOME=..
|
14 | |
|
|
14 |
|
15 | 15 |
-if [ "$1" == "$2" ]; then
|
16 | 16 |
+if [ "$1" = "$2" ]; then
|
17 | 17 |
cp "$2" "$3"
|
18 | 18 |
else
|
19 | 19 |
if grep -q "^%include" "$1"; then
|
20 | |
Index: lhs2tex-1.15/doc/lhs2TeXpre
|
|
20 |
Index: b/doc/lhs2TeXpre
|
21 | 21 |
===================================================================
|
22 | |
--- lhs2tex-1.15.orig/doc/lhs2TeXpre 2009-12-18 13:21:18.000000000 +0100
|
23 | |
+++ lhs2tex-1.15/doc/lhs2TeXpre 2010-03-25 12:16:23.000000000 +0100
|
|
22 |
--- a/doc/lhs2TeXpre
|
|
23 |
+++ b/doc/lhs2TeXpre
|
24 | 24 |
@@ -5,7 +5,7 @@
|
25 | |
|
|
25 |
|
26 | 26 |
LHSHOME=..
|
27 | |
|
|
27 |
|
28 | 28 |
-if [ "$1" == "$2" ]; then
|
29 | 29 |
+if [ "$1" = "$2" ]; then
|
30 | 30 |
cp "$2" "$3"
|