From eb99b7e7b9e6b23c08b952ffd49e2227a9fae96a Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Fri, 27 Jul 2012 19:04:11 -0700
Subject: [PATCH] Commented out extensions that don't yet do anything.

---
 src/Text/Pandoc/Options.hs | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/src/Text/Pandoc/Options.hs b/src/Text/Pandoc/Options.hs
index cfeaa467f..46200d8f3 100644
--- a/src/Text/Pandoc/Options.hs
+++ b/src/Text/Pandoc/Options.hs
@@ -47,6 +47,7 @@ data Extension = Ext_footnotes
                | Ext_inline_notes
                | Ext_pandoc_title_blocks
                | Ext_table_captions
+               -- | Ext_image_captions
                | Ext_simple_tables
                | Ext_multiline_tables
                | Ext_grid_tables
@@ -64,12 +65,12 @@ data Extension = Ext_footnotes
                | Ext_startnum
                | Ext_definition_lists
                | Ext_example_lists
-               | Ext_header_identifiers
+               -- | Ext_header_identifiers
                | Ext_all_symbols_escapable
                | Ext_intraword_underscores
                | Ext_blank_before_blockquote
                | Ext_blank_before_header
-               | Ext_significant_bullets
+               -- | Ext_significant_bullets
                | Ext_strikeout
                | Ext_superscript
                | Ext_subscript