Mercurial > urweb
diff src/demo.sml @ 1301:4359e185d3af
Demo improvements
author | Adam Chlipala <adam@chlipala.net> |
---|---|
date | Thu, 30 Sep 2010 18:29:59 -0400 |
parents | b4480a56cab7 |
children | 4dd5d23bace2 |
line wrap: on
line diff
--- a/src/demo.sml Thu Sep 30 18:12:04 2010 -0400 +++ b/src/demo.sml Thu Sep 30 18:29:59 2010 -0400 @@ -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 @@ else () end) + + val highlight = fn () => if !noEmacs then () else highlight () in if OS.Path.base file = "demo" then ()