Commit 70a6427f authored by POTTIER Francois's avatar POTTIER Francois
Browse files

demos/coq-minicalc/Makefile: use -include to avoid an error message.

parent f3526936
......@@ -8,7 +8,7 @@ Makefile.coq:
Parser.v : Parser.vy
include Makefile.coq
-include Makefile.coq
rm -f Parser.v
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