[Debian-astro-commits] [stellarium] 04/06: d/source*: fix source overrides

Tomasz Buchert tomasz at moszumanska.debian.org
Sat Mar 26 12:46:11 UTC 2016


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

tomasz pushed a commit to branch master
in repository stellarium.

commit d386372f21097a59d1318fa2d091eadafd747917
Author: Tomasz Buchert <tomasz at debian.org>
Date:   Fri Mar 25 11:32:01 2016 +0100

    d/source*: fix source overrides
---
 debian/source.lintian-overrides | 2 --
 debian/source/lintian-overrides | 4 ++--
 2 files changed, 2 insertions(+), 4 deletions(-)

diff --git a/debian/source.lintian-overrides b/debian/source.lintian-overrides
deleted file mode 100644
index 6cd9e1c..0000000
--- a/debian/source.lintian-overrides
+++ /dev/null
@@ -1,2 +0,0 @@
-# temporary override, upstream is informed
-stellarium source: source-is-missing doc/jquery.js
\ No newline at end of file
diff --git a/debian/source/lintian-overrides b/debian/source/lintian-overrides
index 0413003..8130cc8 100644
--- a/debian/source/lintian-overrides
+++ b/debian/source/lintian-overrides
@@ -1,2 +1,2 @@
-# this file actually comes with source
-stellarium source: source-is-missing util/locations-editor/locations-editor
+# temporary override, upstream is informed
+stellarium source: source-is-missing doc/jquery.js *

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-astro/packages/stellarium.git



More information about the Debian-astro-commits mailing list