From: Adam Megacz <megacz@cs.berkeley.edu>
Date: Sat, 2 Apr 2011 22:53:42 +0000 (+0000)
Subject: fix Makefile bug
X-Git-Url: http://git.megacz.com/?p=coq-hetmet.git;a=commitdiff_plain;h=6133ffc255c4cfadf93378b93ddd43adf0787120

fix Makefile bug
---

diff --git a/Makefile b/Makefile
index a691257..97de58b 100644
--- a/Makefile
+++ b/Makefile
@@ -24,7 +24,7 @@ build/Makefile.coq: $(coqfiles) src/categories/src
 
 src/categories/src:
 	git submodule update --init src/categories
-	cd compiler/categories; git checkout master
+	cd src/categories; git checkout master
 
 clean:
 	rm -rf build