Fix documentation for docs website

1 files changed, 86 insertions, 11 deletions

diff --git a/docs/publish.el b/docs/publish.el
index e7a27d7..df7235d 100644
--- a/docs/publish.el
+++ b/docs/publish.el
@@ -1,14 +1,89 @@
 ;; Publishing projects, this one is for the zettelkasten
+(require 'package)
+(package-initialize)
+(add-to-list 'package-archives '("org" . "https://orgmode.org/elpa/") t)
+(add-to-list 'package-archives '("melpa" . "https://melpa.org/packages/") t)
+(package-refresh-contents)
+(package-install 'org-plus-contrib)
+(package-install 'htmlize)
+
 (require 'org)
+(require 'ox-publish)
+
+(defvar vericert/header "")
+(defvar vericert/site-attachments nil)
+(defvar vericert/base "")
+
+(setq vericert/base "/vericert")
+
+(setq vericert/header (concat "<div id=\"left-bar\">
+<header id=\"header\" class=\"status\">
+<div class=\"logo\"><a href=\"" vericert/base "\">Vericert</a></div>
+<nav id=\"navbar\">
+<span><a href=\"" vericert/base "/documentation.html\">Documentation</a></span>
+<span><a href=\"" vericert/base "/proof/toc.html\">Proof</a></span>
+</nav>
+<p>Vericert is the first formally verified high-level synthesis tool.</p>
+</header>
+<div id=\"toc\"></div>
+</div>"))
+
+(setq vericert/site-attachments
+  (regexp-opt '("jpg" "jpeg" "gif" "png" "svg"
+                "ico" "cur" "css" "js" "woff" "html" "pdf")))
+
+(setq user-full-name nil)
+
+(setq org-export-with-smart-quotes t
+      org-export-with-section-numbers t
+      org-export-with-toc t)
+
+(setq org-html-divs '((preamble "header" "header")
+                      (content "main" "content")
+                      (postamble "footer" "postamble"))
+      org-html-container-element "section"
+      org-html-metadata-timestamp-format "%Y-%m-%d"
+      org-html-checkbox-type 'html
+      org-html-html5-fancy t
+      org-html-validation-link nil
+      org-html-doctype "html5"
+      org-html-coding-system 'utf-8-unix
+      org-html-head-include-default-style nil
+      org-html-head-include-scripts nil)
+
 (setq org-publish-project-alist
-      '(("orgfiles"
-         :base-directory "./"
-         :base-extension "org"
-         :publishing-directory "./html/"
-         :publishing-function org-html-publish-to-html)
-        ("assets"
-         :base-directory "./css/"
-         :base-extension "css"
-         :publishing-directory "./html/css/"
-         :publishing-function org-publish-attachment)
-        ("documentation" :components ("orgfiles" "assets"))))
+      (list
+       (list "vericert-org"
+             :base-directory "./"
+             :base-extension "org"
+             :exclude (regexp-opt '("README" "draft"))
+             :html-head-extra
+             (concat "<script src=\"https://cdnjs.cloudflare.com/ajax/libs/tocbot/4.11.1/tocbot.min.js\"></script>
+<link rel=\"stylesheet\" href=\"https://cdnjs.cloudflare.com/ajax/libs/tocbot/4.11.1/tocbot.css\">
+<link rel=\"stylesheet\" href=\"" vericert/base "/css/org.css\" type=\"text/css\" media=\"screen\" />")
+             :html-preamble t
+             :html-preamble-format (list (list "en" vericert/header))
+             :html-postamble t
+             :html-postamble-format '(("en" "<script>tocbot.init({
+  tocSelector: '#toc',
+  contentSelector: '#content',
+  headingSelector: 'h2, h3',
+  hasInnerContainers: true,
+});</script>"))
+             :publishing-directory "./html"
+             :publishing-function 'org-html-publish-to-html
+             :recursive t)
+       (list "vericert-assets"
+             :base-directory "."
+             :base-extension vericert/site-attachments
+             :include '(".nojekyll")
+             :exclude "html/"
+             :publishing-directory "./html"
+             :publishing-function 'org-publish-attachment
+             :recursive t)
+       (list "vericert" :components '("vericert-org" "vericert-assets"))))
+
+(defun publish-vericert-docs ()
+  "Publish Vericert documentation."
+  (interactive)
+  (org-publish "vericert" t))