[Pkg-ocaml-maint-commits] [alt-ergo] 02/02: d/copyright: Makefile.in renamed by upstream

[Ralf Treinen]

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

treinen pushed a commit to branch master
in repository alt-ergo.

commit 8dbaa4e52383514e151dd39471df332eab10df13
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue May 26 21:57:20 2015 +0200

    d/copyright: Makefile.in renamed by upstream
---
 debian/changelog | 3 ++-
 debian/copyright | 2 +-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index 38fd16e..6647e30 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -4,8 +4,9 @@ alt-ergo (0.99.1+dfsg1-4) UNRELEASED; urgency=medium
   * debian/control: XS-Testsuite => Testsuite
   * debian/control: drop duplicated Section
   * debian/control: canonical URI in VCS fields
+  * debian/copyright: Makefile.in => Makefile.configurable.in
 
- -- Ralf Treinen <treinen at debian.org>  Tue, 26 May 2015 21:53:31 +0200
+ -- Ralf Treinen <treinen at debian.org>  Tue, 26 May 2015 21:56:56 +0200
 
 alt-ergo (0.99.1+dfsg1-3) unstable; urgency=medium
 
diff --git a/debian/copyright b/debian/copyright
index 096c062..fe10c47 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -10,7 +10,7 @@ Files: *
 Copyright: Copyright (C) 2006-2013 CNRS - INRIA - Universite Paris Sud 
 License: CeCILL-C
 
-Files: configure.in Makefile.in
+Files: configure.in Makefile.configurable.in
 Copyright: © 2001 Jean-Christophe FILLIÂTRE <filliatr at lri.fr>
 License: LGPL-2
 

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