Commit 5b0ea56d authored by POTTIER Francois's avatar POTTIER Francois

Remove outdated comment.

parent 5db3260b
......@@ -5,9 +5,6 @@
# trailing slash), e.g. COQBIN=/var/tmp/coq/bin/.
# If COQBIN is undefined, then "coqc" is used.
# To request installation via a symbolic link, as opposed to
# installation via a copy, define ARTHUR.
# This assumes that $(CFML) points to the CFML root directory.
-include $(CFML)/settings.sh
......
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