Tweaks for mobile.

2022-07-20 23:20:30 -07:00
parent 19aa66062b
commit 1aacfd24ba
12 changed files with 68 additions and 21 deletions
--- a/1
+++ b/1
@ -544,6 +544,7 @@ $(DEPLOY):
 	mkdir -p $@

 REPLACE = tools/replace.js \
+          HEAD=@site/head.html \
          COMMON=@site/common.html \
          POSIX_COMMON=@site/posix_common.html \
          DESKTOP_COMMON=@site/desktop_common.html \