Attention une mise à jour du serveur va être effectuée le lundi 17 mai entre 13h et 13h30. Cette mise à jour va générer une interruption du service de quelques minutes.

Commit 4e6e1cd2 authored by Andrei Paskevich's avatar Andrei Paskevich

regenerate .merlin on compilation

parent c0ef91ca
......@@ -1820,7 +1820,7 @@ doc/version.tex: doc/ config.status
config.status: configure
./config.status --recheck
opt byte: lib/why3/META
opt byte: lib/why3/META .merlin
lib/why3/META: lib/why3/ config.status
./config.status chmod --file $@
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