broken GUB doc

[Graham Percival]

At some point in the build, it dies with this:


.git-release-unstable/out-www/online-root/ .
Instrumenting for Google Analytics
Documentation/web/index.html
Documentation/changes/index.html
Documentation/notation/index.html
Documentation/internals/index.html
Traceback (most recent call last):
  File "test-lily/rsync-lily-doc.py", line 225, in <module>
    main ()
  File "test-lily/rsync-lily-doc.py", line 219, in main
    create_local_web_dir (opts, a)
  File "test-lily/rsync-lily-doc.py", line 126, in
create_local_web_dir
    do_urchin (f)
  File "test-lily/rsync-lily-doc.py", line 72, in do_urchin
    s = open (filename).read ()
IOError: [Errno 2] No such file or directory: 'examples.html'
make[3]: *** [unlocked-doc-export] Error 1
make[3]: Leaving directory `/main/src/gub'


- Graham