X-Git-Url: https://git.donarmstrong.com/?a=blobdiff_plain;f=scripts%2Fbuild%2Fwww_post.py;h=a421369a723f7022ccecde4c234dabeff65fcfcf;hb=058370efc7e9710f149d0f444328bb1fcd7bdec1;hp=784a978f20dafc9ffbaa22488caaf1b7451fbf2f;hpb=1be9b72e4f00f7273a8e5ff220b710a52f975344;p=lilypond.git
diff --git a/scripts/build/www_post.py b/scripts/build/www_post.py
index 784a978f20..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'):
'''
-Redirecting to the documentation index...\n''',
+
+
+Redirecting...
+
+
+Redirecting to the documentation index...
+
+''' % sys.argv[0],
os.path.join (outdir, 'VERSION'):
package_version + '\n',
}
@@ -43,6 +50,14 @@ dirs, symlinks, files = mirrortree.walk_tree (
'|'.join ([l.code for l in langdefs.LANGUAGES]) + '))(/|$)',
find_files = r'.*?\.(?:midi|html|pdf|png|jpe?g|txt|i?ly|signature|css|zip|js|..\.idx|php)$|VERSION',
exclude_files = r'lily-[0-9a-f]+.*\.(pdf|txt)')
+# extra files: info and tex output from lilypond-book regtests
+extra_files = mirrortree.walk_tree (
+ tree_roots = ['input/regression/lilypond-book'],
+ process_dirs = outdir,
+ exclude_dirs = r'(^|/)(out|out-test)(/|$)',
+ find_files = r'.+\.(info|tex)$',
+ exclude_files = r'lily-[0-9a-f]+.*\.tex')[2]
+files.extend(extra_files)
# actual mirrorring stuff
html_files = []