1.1--- a/publish.el	Tue Nov 28 21:45:46 2023 -0500
     1.2+++ b/publish.el	Mon Dec 04 21:13:08 2023 -0500
     1.3@@ -11,7 +11,7 @@
     1.4 (defvar publish-dir "/mnt/w/compiler.company")
     1.5 (defvar html-theme nil)
     1.6 (defvar url "https://compiler.company")
     1.7-(defvar html-nav "<div class=\"nav\"> <a href = \"https://compiler.company\">~/</a> ( <a href = \"https://compiler.company/blog\">blog</a> <a href = \"https://compiler.company/docs\">docs</a> <a href = \"https://vc.compiler.company/comp\">code</a> ) </div>")
     1.8+(defvar html-nav "<div class=\"nav\"> (( <a href = \"https://compiler.company\">~/</a> ( <a href = \"https://compiler.company/blog\">blog</a> <a href = \"https://compiler.company/docs\">docs</a> )) . ( <a href = \"https://vc.compiler.company/comp\">vc</a>  <a href = \"https://packy.compiler.company\">packy</a> )) </div>")
     1.9 
    1.10 (defvar html-foot "<footer>updated %C</footer>")
    1.11