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 7f8a73c9 authored by François Bobot's avatar François Bobot

Makefile : share/provers-dectection-data.conf

parent bd85b7ed
......@@ -1100,6 +1100,9 @@ doc/version.tex: doc/ config.status
share/provers-detection-data.conf: share/ config.status
./config.status chmod --file $@
# We want it to be always up-ot-date
Makefile : share/provers-detection-data.conf
config.status: configure Version
./config.status --recheck
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