From 618f97cc490ee8a130eb6e7d67e878cdf5005b49 Mon Sep 17 00:00:00 2001
From: Ville Rantanen <q@moonq.org>
Date: Mon, 27 Apr 2020 16:59:53 +0300
Subject: [PATCH] add a list of files for wget etc

---
 web/SimpleWebPage.py | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/web/SimpleWebPage.py b/web/SimpleWebPage.py
index 61ad243..8517d7e 100755
--- a/web/SimpleWebPage.py
+++ b/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),