From 6f6c0d722ca436137693dd2b8d4de500783406f5 Mon Sep 17 00:00:00 2001
From: John Wiegley <johnw@newartisans.com>
Date: Sat, 21 Feb 2009 21:08:28 -0400
Subject: And more README updates

---
 tools/proof | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'tools/proof')

diff --git a/tools/proof b/tools/proof
index d135b606..583d0a51 100755
--- a/tools/proof
+++ b/tools/proof
@@ -6,4 +6,4 @@ tools/prepall
 tools/buildall clean check
 
 cd ~/Products/ledger
-make release-distcheck
+make fullcheck release-distcheck
-- 
cgit v1.2.3