diff options
| author | Graham Percival <graham@percival-music.ca> | 2010-01-11 13:03:44 +0000 |
|---|---|---|
| committer | Graham Percival <graham@percival-music.ca> | 2010-01-11 13:03:44 +0000 |
| commit | a3d2cc305208cbf98bc6c8ab31a2db0f5bcf085b (patch) | |
| tree | 8001de2780a0a3ebe32c03129e27715f7fbdd146 | |
| parent | 6ee87b843f0c7eaf19602e9801bb606e4c108dc4 (diff) | |
Doc build: update for no Documentation/index.html
| -rw-r--r-- | scripts/build/www_post.py | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/scripts/build/www_post.py b/scripts/build/www_post.py index 61ce1cbd0e..cf1a7c38c6 100644 --- a/scripts/build/www_post.py +++ b/scripts/build/www_post.py @@ -25,7 +25,7 @@ target_pattern = os.path.join (outdir, '%s-root') # from HTML manuals/snippets page static_files = { os.path.join (outdir, 'index.html'): - '''<META HTTP-EQUIV="refresh" content="0;URL=Documentation/index.html"> + '''<META HTTP-EQUIV="refresh" content="0;URL=Documentation/web/index.html"> <html><body>Redirecting to the documentation index...</body></html>\n''', os.path.join (outdir, 'VERSION'): package_version + '\n', |