diff options
| -rw-r--r-- | src/Main.hs | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/Main.hs b/src/Main.hs index 3c206755c..eabb19e85 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -480,7 +480,8 @@ main = do writerTitlePrefix = titlePrefix, writerTabStop = tabStop, writerTableOfContents = toc && - (not strict), + (not strict) && + writerName/="s5", writerS5 = (writerName=="s5"), writerIgnoreNotes = False, writerIncremental = incremental, |