From 74a586a2c01a7fb03afbdf710154d36c9295b0b1 Mon Sep 17 00:00:00 2001 From: Igor Pashev Date: Mon, 29 Aug 2011 14:21:47 +0400 Subject: Updated patches --- debian/patches/install-dir.patch | 12 ++++++------ debian/patches/no-missing-messages.patch | 6 +++--- debian/patches/non-static-open-axiom-binary.patch | 6 +++--- 3 files changed, 12 insertions(+), 12 deletions(-) diff --git a/debian/patches/install-dir.patch b/debian/patches/install-dir.patch index 09ed22b..2544d22 100644 --- a/debian/patches/install-dir.patch +++ b/debian/patches/install-dir.patch @@ -1,7 +1,7 @@ -Index: open-axiom.trunk/configure +Index: b/configure =================================================================== ---- open-axiom.trunk.orig/configure 2011-07-13 15:42:04.000000000 +0400 -+++ open-axiom.trunk/configure 2011-08-15 00:23:54.000000000 +0400 +--- a/configure 2011-08-29 14:20:51.000000000 +0400 ++++ b/configure 2011-08-29 14:21:04.000000000 +0400 @@ -5615,7 +5615,7 @@ @@ -11,10 +11,10 @@ Index: open-axiom.trunk/configure if test $build != $target; then -Index: open-axiom.trunk/configure.ac +Index: b/configure.ac =================================================================== ---- open-axiom.trunk.orig/configure.ac 2011-07-13 15:42:04.000000000 +0400 -+++ open-axiom.trunk/configure.ac 2011-08-15 00:23:54.000000000 +0400 +--- a/configure.ac 2011-08-29 14:20:51.000000000 +0400 ++++ b/configure.ac 2011-08-29 14:21:04.000000000 +0400 @@ -55,7 +55,7 @@ AC_CONFIG_SRCDIR(src/Makefile.in) diff --git a/debian/patches/no-missing-messages.patch b/debian/patches/no-missing-messages.patch index a888d33..eee4b68 100644 --- a/debian/patches/no-missing-messages.patch +++ b/debian/patches/no-missing-messages.patch @@ -1,7 +1,7 @@ -Index: open-axiom-debian/src/sman/sman.c +Index: b/src/sman/sman.c =================================================================== ---- open-axiom-debian.orig/src/sman/sman.c 2011-08-29 04:10:30.000000000 +0400 -+++ open-axiom-debian/src/sman/sman.c 2011-08-29 04:11:32.000000000 +0400 +--- a/src/sman/sman.c 2011-08-29 14:20:51.000000000 +0400 ++++ b/src/sman/sman.c 2011-08-29 14:21:04.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 87d4347..d468b72 100644 --- a/debian/patches/non-static-open-axiom-binary.patch +++ b/debian/patches/non-static-open-axiom-binary.patch @@ -1,7 +1,7 @@ -Index: open-axiom-debian/src/driver/Makefile.in +Index: b/src/driver/Makefile.in =================================================================== ---- open-axiom-debian.orig/src/driver/Makefile.in 2011-08-25 23:14:50.000000000 +0400 -+++ open-axiom-debian/src/driver/Makefile.in 2011-08-25 23:15:10.000000000 +0400 +--- a/src/driver/Makefile.in 2011-08-29 14:20:51.000000000 +0400 ++++ b/src/driver/Makefile.in 2011-08-29 14:21:05.000000000 +0400 @@ -70,7 +70,7 @@ main.lo: open-axiom.h -- cgit v1.2.3