Commit e8c74d61 authored by POTTIER Francois's avatar POTTIER Francois
Browse files

Fix [GNUmakefile] after renaming [opam] to [menhir.opam].

parent dca86bd5
......@@ -145,7 +145,7 @@ release:
@ git rm -rf attic headers quicktest releases src/attic test --quiet
# Remove files that do not need to (or must not) be distributed.
# Keep because it is used below.
@ git rm GNUmakefile TODO* opam --quiet
@ git rm GNUmakefile TODO* menhir.opam --quiet
# Hardcode the version number in the files that mention it. These
# include, StaticVersion.{ml,mli}, version.tex, META.
@ echo let version = \"$(DATE)\" > src/
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