[Pkg-ocaml-maint-commits] [SCM] ssreflect packaging branch, master, updated. debian/1.2+dfsg-1-4-g9306638

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 93066381d89f6a6b2568cdf44b96574c457ebaa5
Author: Stephane Glondu <steph at glondu.net>
Date:   Tue Sep 1 15:53:49 2009 +0200

    Capitalize Ssreflect directory for uniformity with other libraries

diff --git a/debian/changelog b/debian/changelog
index 231197b..fc070ab 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,7 +1,7 @@
 ssreflect (1.2+dfsg-2) UNRELEASED; urgency=low
 
   * Use -R when invoking coq_makefile to avoid warnings and need of
-    explicit exclusion of ssreflect path
+    explicit exclusion of ssreflect path; set it to user-contrib/Ssreflect
 
  -- Stéphane Glondu <glondu at debian.org>  Mon, 31 Aug 2009 13:10:29 +0200
 
diff --git a/debian/libssreflect-coq.install b/debian/libssreflect-coq.install
index 1d33bc7..bd710ae 100644
--- a/debian/libssreflect-coq.install
+++ b/debian/libssreflect-coq.install
@@ -1,2 +1,2 @@
-theories/*.vo     usr/lib/coq/user-contrib/ssreflect
+theories/*.vo     usr/lib/coq/user-contrib/Ssreflect
 html              usr/share/doc/libssreflect-coq
diff --git a/debian/libssreflect-ocaml.install.in b/debian/libssreflect-ocaml.install.in
index 1db3f03..d3e146c 100644
--- a/debian/libssreflect-ocaml.install.in
+++ b/debian/libssreflect-ocaml.install.in
@@ -1,3 +1,3 @@
-src/ssreflect.cmi usr/lib/coq/user-contrib/ssreflect
-src/ssreflect.cmo usr/lib/coq/user-contrib/ssreflect
-OPT: src/ssreflect.cmxs usr/lib/coq/user-contrib/ssreflect
+src/ssreflect.cmi usr/lib/coq/user-contrib/Ssreflect
+src/ssreflect.cmo usr/lib/coq/user-contrib/Ssreflect
+OPT: src/ssreflect.cmxs usr/lib/coq/user-contrib/Ssreflect
diff --git a/debian/rules b/debian/rules
index ba88e64..cbf570c 100755
--- a/debian/rules
+++ b/debian/rules
@@ -12,7 +12,7 @@ export COQBIN := /usr/bin/
 
 .PHONY: override_dh_auto_configure
 override_dh_auto_configure: ocamlinit-stamp
-	coq_makefile -f Make -o Makefile -R src ssreflect -R theories ssreflect
+	coq_makefile -f Make -o Makefile -R src Ssreflect -R theories Ssreflect
 
 .PHONY: override_dh_auto_build
 override_dh_auto_build:

-- 
ssreflect packaging