diff options
| author |  Adam Chlipala <adam@chlipala.net> | 2010-09-30 18:29:59 -0400 |
|---|---|---|
| committer | Adam Chlipala <adam@chlipala.net> | 2010-09-30 18:29:59 -0400 |
| commit | 81934ea4c2cf2260b6000e9be4d13e328204929a (patch) | |
| tree | 049d9d5397185e0cc0589cbfe86e882d41087b63 /src/demo.sml | |
| parent | dfe1d4fdd1640b07a05db176d9dc89fcbb124edf (diff) | |
Demo improvements
Diffstat (limited to 'src/demo.sml')
| -rw-r--r-- | src/demo.sml | 4 |
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 () |