Commit 02772a06 authored by POTTIER Francois's avatar POTTIER Francois Committed by POTTIER Francois
Browse files

Rename src/attic to attic/src.

parent 26b2a3dc
......@@ -260,7 +260,7 @@ release:
@ git checkout -b $(BRANCH)
# Remove subdirectories that do not need to (or must not) be distributed.
@ make --quiet -C coq-menhirlib clean
@ git rm -rf attic headers demos releases src/attic test --quiet
@ git rm -rf attic headers demos releases test --quiet
# Remove files that do not need to (or must not) be distributed.
# Keep check-tarball.sh because it is used below.
@ git rm \
......
Markdown is supported
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