[Pkg-ocaml-maint-commits] [hol-light] 05/05: delete exe bit on RichterHilbertAxiomGeometry/Topology.ml

[Hendrik Tews]

This is an automated email from the git hooks/post-receive script.

hendrik-guest pushed a commit to branch master
in repository hol-light.

commit ef43ed5d055ebaed7491aee28fcf85cf6a1acad8
Author: Hendrik Tews <hendrik at askra.de>
Date:   Sun Nov 10 20:41:38 2013 +0100

    delete exe bit on RichterHilbertAxiomGeometry/Topology.ml
---
 debian/changelog |    4 +++-
 debian/rules     |    1 +
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/debian/changelog b/debian/changelog
index 46ac70b..52aa11a 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -2,8 +2,10 @@ hol-light (20131026-1) unstable; urgency=low
 
   * new upstream version revision 177 from 2013-10-26
   * use new pa_j and adjust camlp5 dependencies
+  * delete executable bit of RichterHilbertAxiomGeometry/Topology.ml 
+    during installation
 
- --
+ -- Hendrik Tews <hendrik at askra.de>  Sun, 10 Nov 2013 20:37:21 +0100
 
 hol-light (20130811-1) unstable; urgency=low
 
diff --git a/debian/rules b/debian/rules
index 4ac3a4a..1813a08 100755
--- a/debian/rules
+++ b/debian/rules
@@ -38,6 +38,7 @@ override_dh_auto_install:
 	install -d $(INSTDIR)/usr/share/hol-light
 	tar --anchored --exclude-from=debian/hol-light-source.exclude -c . | \
 		tar -C $(INSTDIR)/usr/share/hol-light -x
+	chmod -x $(INSTDIR)/usr/share/hol-light/RichterHilbertAxiomGeometry/Topology.ml
 	install -d $(INSTDIR)/usr/bin
 	install debian/hol-light.sh $(INSTDIR)/usr/bin/hol-light
 

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/hol-light.git