Commit 0adb78e6 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Update Makefile to remove more useless files and directories at release time.

parent 64fec40e
Pipeline #123776 passed with stages
in 25 seconds
......@@ -278,13 +278,14 @@ 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 test --quiet
@ git rm -rf analysis attic demos headers releases test www --quiet
# Remove files that do not need to (or must not) be distributed.
# Keep because it is used below.
@ git rm \
@ git rm --quiet \
Makefile \ TODO* \
*.opam coq-menhirlib/descr --quiet \
*.md TODO* \
*.opam coq-menhirlib/descr
# Hardcode Menhir's version number in the files that need it.
@ sed -i.bak 's/unreleased/$(DATE)/' dune-project
@ rm -f dune-project.bak
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