#!/bin/bash

. date-config

# To talk to the mirrors directly, you need a w3.org IP address
# I do this using:
#    ssh -f sandro@jay.w3.org -L 8081:localhost:8081 sleep 864000

export http_proxy=http://localhost:8081

for M in tibor nelson crusher lowblow stu; do
  echo
  echo mirror=$M
  echo 
  for D in `cat .longnames`; do
    U=http://$M.w3.org/TR/$YEAR/$D/Overview.html
    echo $U
    MF=$D/$M-Overview.html
    # echo wget -O $MF $U
    wget --no-cache -q -O $MF $U
    diff -q $D/Overview.html $MF
  done
done