[dune-common] 05/06: get-orig-source: Update for DUNE 2.5.0rc1

[Ansgar Burchardt]

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

ansgar pushed a commit to branch master
in repository dune-common.

commit 39bc873e7c4e0448180a28096931b527718f1159
Author: Ansgar Burchardt <ansgar at debian.org>
Date:   Mon Nov 21 17:24:39 2016 +0100

    get-orig-source: Update for DUNE 2.5.0rc1
---
 debian/get-orig-source | 5 ++---
 1 file changed, 2 insertions(+), 3 deletions(-)

diff --git a/debian/get-orig-source b/debian/get-orig-source
index 88f747b..1eeab41 100755
--- a/debian/get-orig-source
+++ b/debian/get-orig-source
@@ -119,11 +119,10 @@ git archive --format=tar ${branch} | tar -C "${origdir}" -x
 cd "$origdir"
 case "$module" in
   dune-grid)
-    find doc/grids/amiramesh -name "[a-z]*.am" -delete
+    safe-rm -r doc/grids/amiramesh
     ;;
-  ug)
+  dune-uggrid)
     safe-rm -r doc
-    safe-rm -r dom/lgm/ngin/ngin.ps
     ;;
 esac
 cd ..

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/dune-common.git