[Pkg-ocaml-maint-commits] [hol-light] 05/06: update elc path in hol-light-source.exclude

[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 129252ee0dc2e95ef4f8c26fef149f85c75147cf
Author: Hendrik Tews <hendrik at askra.de>
Date:   Fri Aug 16 11:13:09 2013 +0200

    update elc path in hol-light-source.exclude
---
 debian/changelog                |    3 ++-
 debian/hol-light-source.exclude |    2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 551b330..4a5ce7b 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,8 +4,9 @@ hol-light (20130811-1) unstable; urgency=low
   * fix vcs fields
   * refresh patches
   * delete include-compiler-libs patch (applied upstream)
+  * update elc file path in hol-light-source.exclude
 
- -- Hendrik Tews <hendrik at askra.de>  Wed, 14 Aug 2013 22:25:52 +0200
+ -- Hendrik Tews <hendrik at askra.de>  Wed, 14 Aug 2013 22:42:56 +0200
 
 hol-light (20130511-1) unstable; urgency=low
 
diff --git a/debian/hol-light-source.exclude b/debian/hol-light-source.exclude
index 1cdb592..8f6106d 100644
--- a/debian/hol-light-source.exclude
+++ b/debian/hol-light-source.exclude
@@ -9,4 +9,4 @@
 ./QUICK_REFERENCE.txt
 ./README
 ./VERYQUICK_REFERENCE.txt
-./RichterHilbertAxiomGeometry/hol-light-fonts.elc
+./RichterHilbertAxiomGeometry/miz3/hol-light-fonts.elc

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