Unverified Commit 39bc873e authored by Ansgar Burchardt's avatar Ansgar Burchardt
Browse files

get-orig-source: Update for DUNE 2.5.0rc1

parent ea4f4b25
......@@ -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 ..
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment