support/scripts/pkg-stats: rename dump_gen_info()
authorThomas Petazzoni <thomas.petazzoni@bootlin.com>
Thu, 1 Aug 2019 09:07:27 +0000 (11:07 +0200)
committerThomas Petazzoni <thomas.petazzoni@bootlin.com>
Thu, 1 Aug 2019 09:10:41 +0000 (11:10 +0200)
Since it's used only for the HTML output, and all other functions used
for HTML output are prefixed by dump_html, let's do so for
dump_gen_info() as well by renaming it to dump_html_gen_info().

Signed-off-by: Thomas Petazzoni <thomas.petazzoni@bootlin.com>
support/scripts/pkg-stats

index a04712df044871e7787a2f89fb77a26504ae5471..c5bebfed6bfcfe8c5873b577fe52030259641f1d 100755 (executable)
@@ -678,7 +678,7 @@ def dump_html_stats(f, stats):
     f.write("</table>\n")
 
 
-def dump_gen_info(f, date, commit):
+def dump_html_gen_info(f, date, commit):
     # Updated on Mon Feb 19 08:12:08 CET 2018, Git commit aa77030b8f5e41f1c53eb1c1ad664b8c814ba032
     f.write("<p><i>Updated on %s, git commit %s</i></p>\n" % (str(date), commit))
 
@@ -688,7 +688,7 @@ def dump_html(packages, stats, date, commit, output):
         f.write(html_header)
         dump_html_all_pkgs(f, packages)
         dump_html_stats(f, stats)
-        dump_gen_info(f, date, commit)
+        dump_html_gen_info(f, date, commit)
         f.write(html_footer)