Commit 3342a1ae authored by POTTIER Francois's avatar POTTIER Francois

Comment in GNUmakefile.

parent 6483e688
......@@ -253,6 +253,8 @@ opam:
@ cd $(OPAM)/packages/menhir && \
cp -r `ls | grep menhir | tail -1` menhir.$(DATE)
# Update the file "url".
# TEMPORARY:
# THIS NO LONGER WORKS; THE URL AND CHECKSUM ARE NOW STORED IN opam.
@ cd $(OPAM)/packages/menhir/menhir.$(DATE) && \
rm url && \
echo 'archive: "http://gallium.inria.fr/~fpottier/menhir/menhir-$(DATE).tar.gz"' >> url && \
......
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