[Pkg-ocaml-maint-commits] [SCM] why packaging branch, master, updated. debian/2.13-1-68-g62d5fad

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 0f6ad6f2c0d964d83e1b63b6083269849e65d6f9
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Tue Feb 24 13:56:00 2009 +0100

    Fix typo : COQABI -> COQ_ABI

diff --git a/debian/rules b/debian/rules
index 7acd735..c3ded1a 100755
--- a/debian/rules
+++ b/debian/rules
@@ -55,8 +55,8 @@ install: build
 	$(MAKE) prefix=$(WHYDIR)/usr install COQLIB=$(CURDIR)/debian/libwhy-coq/$(COQ_STDLIB_DIR)
 	mv $(WHYDIR)/usr/lib/why/why-logo-1.png $(WHYDIR)/usr/share/why
 	echo 'F:OCamlABI=$(OCAML_ABI)' >> debian/libjessie-ocaml-dev.substvars
-	echo 'F:CoqABI=$(COQABI)' >> debian/why.substvars
-	echo 'F:CoqABI=$(COQABI)' >> debian/libwhy-coq.substvars
+	echo 'F:CoqABI=$(COQ_ABI)' >> debian/why.substvars
+	echo 'F:CoqABI=$(COQ_ABI)' >> debian/libwhy-coq.substvars
 
 # Build architecture-independent files here.
 binary-indep: build install

-- 
why packaging