@@ -980,6 +980,8 @@ data ObfuscationMethod = NoObfuscation
980-- | Options for writers
980-- | Options for writers
981data WriterOptions = WriterOptions
981data WriterOptions = WriterOptions
982 { writerStandalone :: Bool -- ^ Include header and footer
982 { writerStandalone :: Bool -- ^ Include header and footer
983+ , writerTemplate :: String -- ^ Template to use in standalone mode
984+ , writerVariables :: [(String, String)] -- ^ Variables to set in template
983 , writerHeader :: String -- ^ Header for the document
985 , writerHeader :: String -- ^ Header for the document
984 , writerTitlePrefix :: String -- ^ Prefix for HTML titles
986 , writerTitlePrefix :: String -- ^ Prefix for HTML titles
985 , writerTabStop :: Int -- ^ Tabstop for conversion btw spaces and tabs
987 , writerTabStop :: Int -- ^ Tabstop for conversion btw spaces and tabs
@@ -1003,6 +1005,8 @@ data WriterOptions = WriterOptions
1003defaultWriterOptions :: WriterOptions
1005defaultWriterOptions :: WriterOptions
1004defaultWriterOptions =
1006defaultWriterOptions =
1005 WriterOptions { writerStandalone = False
1007 WriterOptions { writerStandalone = False
1008+ , writerTemplate = ""
1009+ , writerVariables = []
1006 , writerHeader = ""
1010 , writerHeader = ""
1007 , writerTitlePrefix = ""
1011 , writerTitlePrefix = ""
1008 , writerTabStop = 4
1012 , writerTabStop = 4