# HG changeset patch
# User wenzelm
# Date 1290948919 -3600
# Node ID 24851517ef1526373454c7d9bc28a167ad580e5a
# Parent  04d44a20fccf72c342a0c01438499fa79598895f
follow-up to HOLCF move (cf. 0437dbc127b3, 04d44a20fccf);

diff -r 04d44a20fccf -r 24851517ef15 Admin/CHECKLIST
--- a/Admin/CHECKLIST	Sun Nov 28 12:11:41 2010 +0100
+++ b/Admin/CHECKLIST	Sun Nov 28 13:55:19 2010 +0100
@@ -27,6 +27,7 @@
 
 - maintain Logics:
     build
+    etc/components
     lib/html/library_index_content.template
 
 
diff -r 04d44a20fccf -r 24851517ef15 Admin/makebin
--- a/Admin/makebin	Sun Nov 28 12:11:41 2010 +0100
+++ b/Admin/makebin	Sun Nov 28 13:55:19 2010 +0100
@@ -101,7 +101,7 @@
   ./build -bait
 else
   ./build -b -m HOL-Nominal HOL
-  ./build -b HOLCF
+  ./build -b -m HOLCF HOL
   ./build -b ZF
 fi