diff options
author | Adam Chlipala <adamc@csail.mit.edu> | 2016-09-20 14:26:58 -0400 |
---|---|---|
committer | Adam Chlipala <adamc@csail.mit.edu> | 2016-09-20 14:26:58 -0400 |
commit | 6720a4578afab577f9721485fbb8e810104d6249 (patch) | |
tree | 29e6d22181a1bd58271a3b10ef5e457b37b9b06e /src/settings.sml | |
parent | d41ec985e9839d5c01d69363cfca1dfda25536ab (diff) |
Make HTML5 the default and add 'xhtml' .urp directive
Diffstat (limited to 'src/settings.sml')
-rw-r--r-- | src/settings.sml | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/settings.sml b/src/settings.sml index f4d399dc..5662d9d6 100644 --- a/src/settings.sml +++ b/src/settings.sml @@ -818,7 +818,7 @@ fun mangleSqlCatalog s = else lowercase s -val html5 = ref false +val html5 = ref true fun setIsHtml5 b = html5 := b fun getIsHtml5 () = !html5 |