diff options
author | Waldir Pimenta <waldyrious@gmail.com> | 2016-08-16 15:54:24 +0100 |
---|---|---|
committer | GitHub <noreply@github.com> | 2016-08-16 15:54:24 +0100 |
commit | 35e1d6d9f70227e6dda6337276af909a92cd99d2 (patch) | |
tree | efff7bea7efacdc0393a2698a9290b59da64d354 /pandoc.hs | |
parent | 3a44ee62c064428b57c64de750ac9ae27bc930cf (diff) |
synchronize spacing of footnotes in help output
- remove a space between `[` and `*` in the list of input formats, to match the list of output formats
- add space after the `*`s, for improved readability
Diffstat (limited to 'pandoc.hs')
-rw-r--r-- | pandoc.hs | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -939,10 +939,10 @@ usageMessage programName = usageInfo (programName ++ " [OPTIONS] [FILES]" ++ "\nInput formats: " ++ wrapWords 16 78 readers'names ++ '\n' : replicate 16 ' ' ++ - "[ *only Pandoc's JSON version of native AST]" ++ "\nOutput formats: " ++ + "[* only Pandoc's JSON version of native AST]" ++ "\nOutput formats: " ++ wrapWords 16 78 writers'names ++ '\n' : replicate 16 ' ' ++ - "[**for pdf output, use latex or beamer and -o FILENAME.pdf]\nOptions:") + "[** for pdf output, use latex or beamer and -o FILENAME.pdf]\nOptions:") where writers'names = sort $ "json*" : "pdf**" : delete "json" (map fst writers) readers'names = sort $ "json*" : delete "json" (map fst readers) |