Skip to content
GitLab
Commit 56f02cc8 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Remove dune-workspace.versions from release branches.

parent e3f67efa
Pipeline #115596 passed with stages
in 25 seconds
Show whitespace changes
Inline Side-by-side
Makefile
View file @ 56f02cc8
...@@ -180,7 +180,10 @@ release: ...@@ -180,7 +180,10 @@ release:
@ git rm -rf attic headers demos releases src/attic test --quiet @ git rm -rf attic headers demos releases src/attic test --quiet
# Remove files that do not need to (or must not) be distributed. # Remove files that do not need to (or must not) be distributed.
# Keep check-tarball.sh because it is used below. # Keep check-tarball.sh because it is used below.
@ git rm Makefile HOWTO.md TODO* *.opam coq-menhirlib/descr --quiet @ git rm \
Makefile dune-workspace.versions \
HOWTO.md TODO* \
*.opam coq-menhirlib/descr --quiet
# Hardcode Menhir's version number in the files that need it. # Hardcode Menhir's version number in the files that need it.
@ sed -i.bak 's/unreleased/$(DATE)/' dune-project @ sed -i.bak 's/unreleased/$(DATE)/' dune-project
@ rm -f dune-project.bak @ 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