diff options
| author | Julien Rioux <jrioux@physics.utoronto.ca> | 2012-10-13 13:33:40 -0400 |
|---|---|---|
| committer | Julien Rioux <jrioux@physics.utoronto.ca> | 2012-10-18 02:48:39 -0400 |
| commit | f3b6285af7a9e414b12d2d61ada30aef695bd72f (patch) | |
| tree | 13c69c1cdb4da3817254c0f9d9838f3f51ccf4fe /scripts/build/www_post.py | |
| parent | f92a7cd52fc45a083bbd7bc54130d14b314d9a4b (diff) | |
Add autogenerated markers (issue 847).
Add autogenerated markers to files produced from build scripts.
Also fix some typos and help message from scripts.
Diffstat (limited to 'scripts/build/www_post.py')
| -rw-r--r-- | scripts/build/www_post.py | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/scripts/build/www_post.py b/scripts/build/www_post.py index c62e02145a..a421369a72 100644 --- a/scripts/build/www_post.py +++ b/scripts/build/www_post.py @@ -26,7 +26,14 @@ target_pattern = os.path.join (outdir, '%s-root') static_files = { os.path.join (outdir, 'index.html'): '''<META HTTP-EQUIV="refresh" content="0;URL=Documentation/web/index.html"> -<html><body>Redirecting to the documentation index...</body></html>\n''', +<html> +<head> +<title>Redirecting...</title> +<meta name="author" content="This file was autogenerated by %s"> +</head> +<body>Redirecting to the documentation index...</body> +</html> +''' % sys.argv[0], os.path.join (outdir, 'VERSION'): package_version + '\n', } |