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
This commit is contained in:
Ian Wienand 2021-10-22 15:43:40 +11:00
parent 009f8942fd
commit 2af3737de5

View File

@ -32,15 +32,17 @@ main() {
html=`cat index.html | grep -v stylesheet | grep -v script | grep -v '</body>'` html=`cat index.html | grep -v stylesheet | grep -v script | grep -v '</body>'`
echo $html 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'>" echo "<script type='text/javascript'>"
cat ${js} cat ${js}
echo
echo "</script>" echo "</script>"
done done
echo "<script type='text/javascript'>gCSVs=${gCSVs};</script>" echo "<script type='text/javascript'>gCSVs=${gCSVs};</script>"
for css in css/*.css; do for css in css/*.css; do
echo "<style>" echo "<style>"
cat ${css} cat ${css}
echo
echo "</style>" echo "</style>"
done done