X-Git-Url: http://git.megacz.com/?a=blobdiff_plain;f=Makefile;fp=Makefile;h=97de58b1b85c61727efbaada40c0653e9b87b87c;hb=6133ffc255c4cfadf93378b93ddd43adf0787120;hp=a6912578e02ae41b3d4da2d1a9cf9142163890bb;hpb=d1a4d10de986d774d3cfb10348036cb60bc80277;p=coq-hetmet.git

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