[dune-common] 02/02: get-orig-source: Add repack rules for ug.

[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 a58d84cf6838373a6f7b9a6a75888293c4356873
Author: Ansgar Burchardt <burchardt at igpm.rwth-aachen.de>
Date:   Mon Apr 7 14:16:50 2014 +0200

    get-orig-source: Add repack rules for ug.
---
 debian/get-orig-source | 8 ++++++++
 1 file changed, 8 insertions(+)

diff --git a/debian/get-orig-source b/debian/get-orig-source
index 5296df8..3435089 100755
--- a/debian/get-orig-source
+++ b/debian/get-orig-source
@@ -119,6 +119,14 @@ case "$module" in
   dune-grid)
     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 -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