summaryrefslogtreecommitdiff
path: root/src/demo.sml
diff options
context:
space:
mode:
Diffstat (limited to 'src/demo.sml')
-rw-r--r--src/demo.sml4
1 files changed, 4 insertions, 0 deletions
diff --git a/src/demo.sml b/src/demo.sml
index 358815de..19632d0e 100644
--- a/src/demo.sml
+++ b/src/demo.sml
@@ -27,6 +27,8 @@
structure Demo :> DEMO = struct
+val noEmacs = ref false
+
fun make' {prefix, dirname, guided} =
let
val prose = OS.Path.joinDirFile {dir = dirname,
@@ -333,6 +335,8 @@ fun make' {prefix, dirname, guided} =
else
()
end)
+
+ val highlight = fn () => if !noEmacs then () else highlight ()
in
if OS.Path.base file = "demo" then
()