Docs: also distribute .jpe?g files in docball and web site

diff --git a/scripts/build/www_post.py b/scripts/build/www_post.py
index 2df5b38468761f6d8237e19f03ee2f83c5be896f..61ce1cbd0e0abba205a0c8f123006e161a05b2cf 100644 (file)
--- a/scripts/build/www_post.py
+++ b/scripts/build/www_post.py
@@ -41,7 +41,7 @@ dirs, symlinks, files = mirrortree.walk_tree (
     exclude_dirs = '(^|/)((' + \
         r'po|xref-maps|out|out-test|out-cov|.*?[.]t2d|\w*?-root)|^Documentation/(' + \
         '|'.join ([l.code for l in langdefs.LANGUAGES]) + '))(/|$)',
-    find_files = r'.*?\.(?:midi|html|pdf|png|txt|i?ly|signature|css|zip)$|VERSION',
+    find_files = r'.*?\.(?:midi|html|pdf|png|jpe?g|txt|i?ly|signature|css|zip)$|VERSION',
     exclude_files = r'lily-[0-9a-f]+.*\.(pdf|txt)')
 
 # actual mirrorring stuff