diff options
| author | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2018-06-28 22:29:21 +0200 |
|---|---|---|
| committer | Matthias Andreas Benkard <code@mail.matthias.benkard.de> | 2018-06-28 22:29:21 +0200 |
| commit | d46a9126a63a31847a17fb7d5b0d6c5019873331 (patch) | |
| tree | fd29977349c3b16699a177ddcf71c584465ad0d1 | |
| parent | 43e782f4e53ff10511cde56742130cf7b7a9bf15 (diff) | |
Include lang-hs.js for prettyprinting.
| -rw-r--r-- | mulkcms.lisp | 1 | ||||
| -rw-r--r-- | templates/edit_page.html | 1 | ||||
| -rw-r--r-- | templates/journal_page.html | 1 |
3 files changed, 3 insertions, 0 deletions
diff --git a/mulkcms.lisp b/mulkcms.lisp index 6c2a0d3..08566a7 100644 --- a/mulkcms.lisp +++ b/mulkcms.lisp @@ -286,6 +286,7 @@ (:prettify.js "/prettify/prettify.js") (:prettify-lisp.js "/prettify/lang-lisp.js") (:prettify-rust.js "/prettify/lang-rust.js") + (:prettify-hs.js "/prettify/lang-hs.js") (:pingback "/rpc"))))) (defun call-with-db (thunk) diff --git a/templates/edit_page.html b/templates/edit_page.html index 37b72d1..09f037f 100644 --- a/templates/edit_page.html +++ b/templates/edit_page.html @@ -8,6 +8,7 @@ <script type="text/javascript" src="/journal/prettify/prettify.js"></script> <script type="text/javascript" src="/journal/prettify/lang-lisp.js"></script> <script type="text/javascript" src="/journal/prettify/lang-rust.js"></script> + <script type="text/javascript" src="/journal/prettify/lang-hs.js"></script> <script type="text/javascript" src="/js/jquery.js"></script> <script type="text/javascript" src="/js/jquery-migrate-3.0.0.min.js"></script> <script type="text/javascript" src="/journal/wymeditor/jquery.wymeditor.min.js"></script> diff --git a/templates/journal_page.html b/templates/journal_page.html index 0119b5d..ed9a480 100644 --- a/templates/journal_page.html +++ b/templates/journal_page.html @@ -4,6 +4,7 @@ <script type="text/javascript" src="/journal/prettify/prettify.js"></script> <script type="text/javascript" src="/journal/prettify/lang-lisp.js"></script> <script type="text/javascript" src="/journal/prettify/lang-rust.js"></script> + <script type="text/javascript" src="/journal/prettify/lang-hs.js"></script> <script type="text/javascript" src="/js/jquery.js"></script> <script type="text/javascript" src="/js/sha256.js"></script> <script type="text/javascript" src="/js/comment-submission.js"></script> |