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

Fix the creation of coq-menhirlib/src/Version.v.

parent 1ed1dd31
......@@ -187,7 +187,7 @@ release:
@ git add dune-project
@ echo '\gdef\menhirversion{$(DATE)}' > doc/version.tex
@ git add doc/version.tex
@ echo 'Definition require_$(DATE) := tt.' >> coq-menhirlib/src/Version.v
@ echo 'Definition require_$(DATE) := tt.' > coq-menhirlib/src/Version.v
@ git add coq-menhirlib/src/Version.v
# Compile the documentation.
@ echo "Building the documentation..."
......
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