# HG changeset patch
# User haftmann
# Date 1127833786 -7200
# Node ID 5f6a9ed548c1d61053096ebb0d65a0a98eadce7d
# Parent  c5f49e4856e3e24f0ee5f981f38ba99028c37d98
build bed

diff -r c5f49e4856e3 -r 5f6a9ed548c1 Admin/website/TODO
--- a/Admin/website/TODO	Tue Sep 27 17:03:54 2005 +0200
+++ b/Admin/website/TODO	Tue Sep 27 17:09:46 2005 +0200
@@ -1,5 +1,5 @@
 For the release:
-- make build bed (~/isabelle/website_build)
+- make build bed ()
 - abandon old scripts: mirror-*, rsyncisabelle
 - abandon old cache
 - cleanup old dist