diff options
Diffstat (limited to 'src/Main.hs')
| -rw-r--r-- | src/Main.hs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/src/Main.hs b/src/Main.hs index d25e38911..adddae0fc 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -482,6 +482,7 @@ main = do writerTableOfContents = toc && (not strict), writerS5 = (writerName=="s5"), + writerIgnoreNotes = False, writerIncremental = incremental, writerNumberSections = numberSections, writerIncludeBefore = includeBefore, |