Merge pull request #12 from edcdavid/fix-comments-not-pushed

Fix comments not pushed from David R.

Author: edcdavid

.github/workflows/checkbuild.yml

@@ -13,10 +13,10 @@ jobs:
     steps:
       - uses: actions/checkout@v3
       - name: install nodejs
-        run: sudo apt-get update; sudo apt-get -y install nodejs npm; npm install inline-source
+        run: sudo apt-get update && sudo apt-get -y install nodejs npm && npm install inline-source
       - name: modify build sccript
         run: sed -i 's/results.html/test.html/g' html/build.js
       - name: generate test.html
-        run: cd html; node build.js
+        run: cd html && node build.js
       - name: compare results.html with test.html
-        run: cd html;diff results.html test.html
+        run: cd html && diff results.html test.html

.gitignore

@@ -1 +1 @@
-node_modules
+node_modules

Makefile

@@ -1,2 +1,2 @@
 build:
-	cd html;node build.js
+	cd html && node build.js

html/build.js

@@ -13,4 +13,4 @@ inline.inlineSource(htmlFile, options)
   })
   .catch((err) => {
     console.error('Error during build:', err);
-  });
+  });

html/index.html

@@ -158,4 +158,4 @@ <h5 class="modal-title" id="staticBackdropLabel">Warning</h5>
 
 </body>
 
-</html>
+</html>

html/results.html

@@ -158,4 +158,4 @@ <h5 class="modal-title" id="staticBackdropLabel">Warning</h5>
 
 </body>
 
-</html>
+</html>