summaryrefslogtreecommitdiff
path: root/Main.hs
diff options
context:
space:
mode:
Diffstat (limited to 'Main.hs')
-rw-r--r--Main.hs1
1 files changed, 1 insertions, 0 deletions
diff --git a/Main.hs b/Main.hs
index 4889ca30a..fbcb7dbf7 100644
--- a/Main.hs
+++ b/Main.hs
@@ -83,6 +83,7 @@ writers = [("native" , (writeDoc, ""))
,("docbook" , (writeDocbook, defaultDocbookHeader))
,("latex" , (writeLaTeX, defaultLaTeXHeader))
,("context" , (writeConTeXt, defaultConTeXtHeader))
+ ,("texinfo" , (writeTexinfo, ""))
,("man" , (writeMan, ""))
,("markdown" , (writeMarkdown, ""))
,("rst" , (writeRST, ""))