improved linktest
authorhaftmann
Tue Oct 04 11:15:09 2005 +0200 (2005-10-04)
changeset 17750a0745bc36660
parent 17749 4fb42f4d61df
child 17751 2cc8429943f2
improved linktest
Admin/linktest
Admin/website/TODO
     1.1 --- a/Admin/linktest	Tue Oct 04 10:58:46 2005 +0200
     1.2 +++ b/Admin/linktest	Tue Oct 04 11:15:09 2005 +0200
     1.3 @@ -32,9 +32,9 @@
     1.4  mkdir -p /tmp/isa_linktest
     1.5  dir=$(pwd)
     1.6  cd /tmp/isa_linktest
     1.7 -exec wget --non-verbose --cookies=off --recursive --convert-links --page-requisites \
     1.8 +exec wget --non-verbose --cookies=off --recursive --reject='GraphBrowser.class' --convert-links --page-requisites \
     1.9     --delete-after \
    1.10    "$url" \
    1.11 -  2>&1 | "$GREP" -i -B1 "ERROR"
    1.12 +  2>&1 | tee /tmp/isa_linktest.report | "$GREP" -i -B1 "ERROR"
    1.13  cd "$dir"
    1.14  rm -rf /tmp/isa_linktest
     2.1 --- a/Admin/website/TODO	Tue Oct 04 10:58:46 2005 +0200
     2.2 +++ b/Admin/website/TODO	Tue Oct 04 11:15:09 2005 +0200
     2.3 @@ -2,9 +2,7 @@
     2.4  - announce build bed
     2.5  - abandon old scripts: mirror-*, rsyncisabelle
     2.6  - abandon old cache
     2.7 -- cleanup old dist
     2.8 -- redirect link -> proper sublinks
     2.9 -- cleanup website mess (new dir "projects/")
    2.10 +- cleanup website mess
    2.11  
    2.12  In the mid-time:
    2.13  - a gentle intro enumeration on Home - "Why Isabelle?"