From 55d485365f4d52a84d06bc38d6d34b6a47890b57 Mon Sep 17 00:00:00 2001
From: Adam Chlipala <adam@chlipala.net>
Date: Thu, 9 Jan 2014 17:27:24 -0500
Subject: Add 'html5' .urp directive

---
 src/settings.sml | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/settings.sml')

diff --git a/src/settings.sml b/src/settings.sml
index ebe38b17..be998ec2 100644
--- a/src/settings.sml
+++ b/src/settings.sml
@@ -716,4 +716,8 @@ fun mangleSql s = if !mangle then "uw_" ^ s
                   else "\"" ^ lowercase s ^ "\""
 fun mangleSqlCatalog s = if !mangle then "uw_" ^ s else lowercase s
 
+val html5 = ref false
+fun setIsHtml5 b = html5 := b
+fun getIsHtml5 () = !html5
+
 end
-- 
cgit v1.2.3