[dune-common] 01/01: get-orig-source: ug: Also remove old netgen license.

[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 46b3b9915bbfb797dd602e4310936aa6455d1dab
Author: Ansgar Burchardt <burchardt at igpm.rwth-aachen.de>
Date:   Mon Apr 7 14:34:39 2014 +0200

    get-orig-source: ug: Also remove old netgen license.
---
 debian/get-orig-source | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/get-orig-source b/debian/get-orig-source
index 3435089..7f3369a 100755
--- a/debian/get-orig-source
+++ b/debian/get-orig-source
@@ -124,6 +124,7 @@ case "$module" in
     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.*
     ;;

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