Dropped js replace tool.

2023-12-22 20:46:23 -08:00
parent 3c0f249b71
commit c475681b0e
12 changed files with 105 additions and 205 deletions
--- a/site/web.html
+++ b/site/web.html
@ -16,13 +16,13 @@ limitations under the License.
 -->

 <head>
-{{HEAD}}
+#include "head.html"
  <title>µEforth for Web</title>
 </head>

 <body>
 <h1>µEforth for Web</h1>
-{{MENU}}
+#include "menu.html"

 <div class="web_wrapper">
 <div id="ueforth"></div>