add a list of files for wget etc

web/SimpleWebPage.py

@@ -130,6 +130,7 @@ def generate_index(opts):
         for fi in files:
             f.write(get_filelink(path, fi, opts.images))
         f.write(get_footer())
+        f.write(get_wget_lines(files))
         f.close()
     return
 
@@ -155,6 +156,15 @@ def get_filelink(path,fname,images=False):
         fdstr
     )
 
+
+def get_wget_lines(files):
+    wget = "\n<!--\n"
+    for f in files:
+        wget += "#FILE %s\n"%(f,)
+    wget += "-->\n"
+    return wget
+
+
 def get_imagestr(fname):
     return '<img src="%s" title="%s"/>'%(
         urllib.quote(fname),