summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
-rw-r--r--debian/patches/install-dir.patch12
-rw-r--r--debian/patches/no-missing-messages.patch4
-rw-r--r--debian/patches/non-static-open-axiom-binary.patch4
3 files changed, 10 insertions, 10 deletions
diff --git a/debian/patches/install-dir.patch b/debian/patches/install-dir.patch
index 1a2bc33..4547f11 100644
--- a/debian/patches/install-dir.patch
+++ b/debian/patches/install-dir.patch
@@ -1,8 +1,8 @@
Index: b/configure
===================================================================
---- a/configure 2012-04-21 00:28:55.000000000 +0400
-+++ b/configure 2012-04-21 00:29:01.000000000 +0400
-@@ -5637,7 +5637,7 @@
+--- a/configure 2013-04-03 19:12:46.000000000 +0400
++++ b/configure 2013-04-03 19:12:52.000000000 +0400
+@@ -3566,7 +3566,7 @@
@@ -13,9 +13,9 @@ Index: b/configure
if test $build != $target; then
Index: b/configure.ac
===================================================================
---- a/configure.ac 2012-04-21 00:28:55.000000000 +0400
-+++ b/configure.ac 2012-04-21 00:29:01.000000000 +0400
-@@ -55,7 +55,7 @@
+--- a/configure.ac 2013-04-03 19:12:46.000000000 +0400
++++ b/configure.ac 2013-04-03 19:12:52.000000000 +0400
+@@ -54,7 +54,7 @@
AC_CONFIG_SRCDIR(src/Makefile.in)
diff --git a/debian/patches/no-missing-messages.patch b/debian/patches/no-missing-messages.patch
index f58b856..f2d761a 100644
--- a/debian/patches/no-missing-messages.patch
+++ b/debian/patches/no-missing-messages.patch
@@ -1,7 +1,7 @@
Index: b/src/sman/sman.c
===================================================================
---- a/src/sman/sman.c 2012-04-21 00:28:55.000000000 +0400
-+++ b/src/sman/sman.c 2012-04-21 00:29:02.000000000 +0400
+--- a/src/sman/sman.c 2013-04-03 19:12:46.000000000 +0400
++++ b/src/sman/sman.c 2013-04-03 19:12:53.000000000 +0400
@@ -450,7 +450,6 @@
const char* command = oa_concatenate_string(root_dir,HypertexProgram);
diff --git a/debian/patches/non-static-open-axiom-binary.patch b/debian/patches/non-static-open-axiom-binary.patch
index 5ccf609..b3a7a20 100644
--- a/debian/patches/non-static-open-axiom-binary.patch
+++ b/debian/patches/non-static-open-axiom-binary.patch
@@ -1,7 +1,7 @@
Index: b/src/driver/Makefile.in
===================================================================
---- a/src/driver/Makefile.in 2012-04-21 00:28:55.000000000 +0400
-+++ b/src/driver/Makefile.in 2012-04-21 00:29:02.000000000 +0400
+--- a/src/driver/Makefile.in 2013-04-03 19:12:46.000000000 +0400
++++ b/src/driver/Makefile.in 2013-04-03 19:12:53.000000000 +0400
@@ -70,7 +70,7 @@
main.lo: open-axiom.h