summaryrefslogtreecommitdiff
path: root/src
diff options
context:
space:
mode:
authorGravatar Marko Schuetz-Schmuck <MarkoSchuetz@web.de>2016-05-05 15:50:00 -0400
committerGravatar Marko Schuetz-Schmuck <MarkoSchuetz@web.de>2016-05-05 15:50:00 -0400
commit6c93a0c5612190566ae65f8654cca509e1a0e0d7 (patch)
tree9be865fc885403f52ec244f00ee03ba4f41acec2 /src
parente8fba960a1866d0370b20ee0e120d64c4f05f67e (diff)
Streamline callout to emacs for HTML rendering.
Diffstat (limited to 'src')
-rw-r--r--src/demo.sml3
1 files changed, 2 insertions, 1 deletions
diff --git a/src/demo.sml b/src/demo.sml
index 17de80ee..2ff76ad1 100644
--- a/src/demo.sml
+++ b/src/demo.sml
@@ -318,12 +318,13 @@ fun make' {prefix, dirname, guided} =
Posix.FileSys.ST.mtime htmlSt)
end handle OS.SysErr _ => true
- val cmd = "emacs --eval \"(progn "
+ val cmd = "emacs -no-init-file --eval \"(progn "
^ "(global-font-lock-mode t) "
^ "(add-to-list 'load-path \\\""
^ !Settings.configSitelisp
^ "/\\\") "
^ "(load \\\"urweb-mode-startup\\\") "
+ ^ "(load \\\"htmlize\\\") "
^ "(urweb-mode) "
^ "(find-file \\\""
^ src