From dceacf3f8630d0562bfb4e1bd2dc16880dbf3b7d Mon Sep 17 00:00:00 2001 From: Adam Megacz Date: Sun, 20 Mar 2011 17:30:40 -0700 Subject: [PATCH 1/1] Makefile update --- Makefile | 3 --- 1 file changed, 3 deletions(-) diff --git a/Makefile b/Makefile index 06d0382..7959831 100644 --- a/Makefile +++ b/Makefile @@ -29,9 +29,6 @@ push: build/CoqPass.hs git commit -m 'update baked-in CoqPass.hs' && \ (git push -f http://git.megacz.com/coq-hetmet.git master:coq-extraction-baked-in; \ git reset HEAD^) - make publish - -publish: rm -rf .temp mkdir .temp cd .temp; ln -s ../src/*.v . -- 1.7.10.4