[dune-common] 01/02: get-orig-source: Update UG repack rules for 3.11.0.

[Ansgar Burchardt]

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

ansgar pushed a commit to annotated tag debian/2.3.1-1
in repository dune-common.

commit ae66a7033117bf82ad47a53b2d56476f7edd0f2b
Author: Ansgar Burchardt <ansgar at debian.org>
Date:   Sun Jun 15 11:15:12 2014 +0200

    get-orig-source: Update UG repack rules for 3.11.0.
---
 debian/get-orig-source | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/debian/get-orig-source b/debian/get-orig-source
index 7f3369a..161201c 100755
--- a/debian/get-orig-source
+++ b/debian/get-orig-source
@@ -120,13 +120,8 @@ case "$module" in
     find doc/grids/amiramesh -name "[a-z]*.am" -delete
     ;;
   ug)
-    safe-rm -r dev/mif
     safe-rm -r doc
     safe-rm -r dom/lgm/ngin/ngin.ps
-    safe-rm -r gm/gg3/netgen
-    safe-rm gm/gg3/netgen.doc gm/gg3/netgenlicence.ps
-    safe-rm -r lib/MWCW
-    safe-rm tools/tools.proj.hqx tools/ugView.*
     ;;
 esac
 cd ..

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