diff options
author | Thomas Letan <lthms@soap.coffee> | 2020-12-10 14:15:24 +0100 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2020-12-10 14:15:24 +0100 |
commit | 2706544cf000a6f9875e81f86d885d4dc68dfb23 (patch) | |
tree | 5c1cf8ce1f5704dabef5e55353a3f9196894eb1a /site/cleopatra/org.org | |
parent | Advertise the version of compcert used to build this article (diff) |
Add a Series on coqffi, and the first literate program of this blog
Diffstat (limited to 'site/cleopatra/org.org')
-rw-r--r-- | site/cleopatra/org.org | 40 |
1 files changed, 8 insertions, 32 deletions
diff --git a/site/cleopatra/org.org b/site/cleopatra/org.org index e6f7a9a..9c2728b 100644 --- a/site/cleopatra/org.org +++ b/site/cleopatra/org.org @@ -9,6 +9,8 @@ (use-package haskell-mode :ensure t :defer t) (use-package toml-mode :ensure t :defer t) (use-package json-mode :ensure t :defer t) +(use-package proof-general :ensure t :defer t) +(use-package tuareg :ensure t :defer t) (use-package github-modern-theme :ensure t :defer t :init (load-theme 'github-modern t)) @@ -17,9 +19,13 @@ #+BEGIN_SRC emacs-lisp :tangle scripts/export-org.el (cleopatra:configure) +(setq org-html-doctype "html5") +(setq org-html-html5-fancy t) + (org-babel-do-load-languages 'org-babel-load-languages - '((shell . t))) + '((shell . t) + (dot . t))) (setq org-export-with-toc nil) @@ -28,37 +34,6 @@ (add-to-list 'org-entities-user '("mi" "\\)" nil "</span>" "" "" "")) -(setq org-babel-exp-code-template - (concat "#+BEGIN_SRC %lang%switches%flags " - ":tangle %tangle :name %name\n" - "%body\n" - "#+END_SRC")) - -(defun cleopatra-html-src-block (oldfun src-block contents info) - (let* - ((old-ret (funcall oldfun src-block contents info)) - (pars (org-babel-parse-header-arguments - (org-element-property :parameters src-block))) - (tangle (cdr (assoc :tangle pars))) - (name (cdr (assoc :name pars)))) - (cond - (name - (concat - "<div class=\"org-literate-programming\">" - (format "<div class=\"org-src-name\"><<%s>> :=</div>" name) - old-ret - "</div>")) - ((not (string= tangle "no")) - (concat - "<div class=\"org-literate-programming\">" - old-ret - (format "<div class=\"org-src-tangled-to\">%s</div>" tangle) - "</div>")) - (t old-ret)))) - -(advice-add 'org-html-src-block - :around #'cleopatra-html-src-block) - (org-html-export-to-html nil nil nil t) #+END_SRC @@ -73,6 +48,7 @@ org-build : ${ORG_HTML} theme-build : site/style/org.sass soupault-build : org-build +org-build : literate-programming-build ARTIFACTS += ${ORG_HTML} CONFIGURE += .emacs |