--- a/Admin/linktest Tue Oct 04 10:58:46 2005 +0200
+++ b/Admin/linktest Tue Oct 04 11:15:09 2005 +0200
@@ -32,9 +32,9 @@
mkdir -p /tmp/isa_linktest
dir=$(pwd)
cd /tmp/isa_linktest
-exec wget --non-verbose --cookies=off --recursive --convert-links --page-requisites \
+exec wget --non-verbose --cookies=off --recursive --reject='GraphBrowser.class' --convert-links --page-requisites \
--delete-after \
"$url" \
- 2>&1 | "$GREP" -i -B1 "ERROR"
+ 2>&1 | tee /tmp/isa_linktest.report | "$GREP" -i -B1 "ERROR"
cd "$dir"
rm -rf /tmp/isa_linktest
--- a/Admin/website/TODO Tue Oct 04 10:58:46 2005 +0200
+++ b/Admin/website/TODO Tue Oct 04 11:15:09 2005 +0200
@@ -2,9 +2,7 @@
- announce build bed
- abandon old scripts: mirror-*, rsyncisabelle
- abandon old cache
-- cleanup old dist
-- redirect link -> proper sublinks
-- cleanup website mess (new dir "projects/")
+- cleanup website mess
In the mid-time:
- a gentle intro enumeration on Home - "Why Isabelle?"