Commit dc9955be authored by Raphael Cauderlier's avatar Raphael Cauderlier
Browse files

Fix example/logic/Makefile

parent cc9cac58
......@@ -35,7 +35,7 @@ Coq__Init__Wf.dko : Coq__Init__Wf.dk Coq.dko Coq__Init__Logic.dko Coq__Init__Dat
# because dkdep v2.5 does not implement the -I option and we need it
# to ignore hol.dko which lies in another directory
Coq.dko: Coq.dk
hol_to_coq.dko: hol_to_coq.dk Coq.dko holtypes.dko
hol_to_coq.dko: hol_to_coq.dk Coq__Init__Logic.dko Coq.dko holtypes.dko
depend: .depend
.depend:
......
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