diff options
| -rw-r--r-- | src/Main.hs | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/src/Main.hs b/src/Main.hs index dcfad2723..3c206755c 100644 --- a/src/Main.hs +++ b/src/Main.hs @@ -225,6 +225,11 @@ options = (\opt -> return opt { optNumberSections = True })) "" -- "Number sections in LaTeX" + , Option "" ["toc", "table-of-contents"] + (NoArg + (\opt -> return opt { optTableOfContents = True })) + "" -- "Include table of contents" + , Option "c" ["css"] (ReqArg (\arg opt -> return opt { optCSS = arg, @@ -232,11 +237,6 @@ options = "CSS") "" -- "Link to CSS style sheet" - , Option "" ["toc", "table-of-contents"] - (NoArg - (\opt -> return opt { optTableOfContents = True })) - "" -- "Include table of contents" - , Option "H" ["include-in-header"] (ReqArg (\arg opt -> do |