From 2af3737de507b7e10ad92929092e408060ebc935 Mon Sep 17 00:00:00 2001
From: Ian Wienand <iwienand@redhat.com>
Date: Fri, 22 Oct 2021 15:43:40 +1100
Subject: [PATCH] Update generate_page.sh

Use the new library names, and make sure there's a newline before
closing the script tag, as some minimised libraries end with a comment
to the .map file and no trailing newline, meaning we comment-out the
tag.

Change-Id: Ic3575f8da42ab67bdcb59da211aeaf8bb0654b54
---
 generate_page.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/generate_page.sh b/generate_page.sh
index 420e9da..0583b36 100755
--- a/generate_page.sh
+++ b/generate_page.sh
@@ -32,15 +32,17 @@ main() {
 
   html=`cat index.html | grep -v stylesheet | grep -v script | grep -v '</body>'`
   echo $html
-  for js in js/{d3.min.js,jquery-2.1.4.js,nv.d3.min.js,dashboard.js,graph.js}; do
+  for js in js/{d3.min,jquery-3.6.0.min,nv.d3.min,bootstrap.bundle.min,dashboard,graph}.js; do
     echo "<script type='text/javascript'>"
     cat ${js}
+    echo
     echo "</script>"
   done
   echo "<script type='text/javascript'>gCSVs=${gCSVs};</script>"
   for css in css/*.css; do
     echo "<style>"
     cat ${css}
+    echo
     echo "</style>"
   done