From b83d045598947bb355ed6a2996b24225da6a9ffa Mon Sep 17 00:00:00 2001 From: Timothy Pearson Date: Wed, 11 Jan 2012 13:37:59 -0600 Subject: [PATCH] Fix kdeedu makefile glitch This closes Bug 785 --- kalzium/src/solver/Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/kalzium/src/solver/Makefile b/kalzium/src/solver/Makefile index 4b96fdb7..6012982c 100644 --- a/kalzium/src/solver/Makefile +++ b/kalzium/src/solver/Makefile @@ -89,4 +89,4 @@ install : .depend: parser.ml lexer.ml $(OCAMLDEP) $(INCLUDES) *.mli *.ml > $@ -include .depend +-include .depend