diff options
| -rw-r--r-- | MANUAL.txt | 2 | ||||
| -rw-r--r-- | src/Text/Pandoc/App/CommandLineOptions.hs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/MANUAL.txt b/MANUAL.txt index 56823e4b3..3594a541c 100644 --- a/MANUAL.txt +++ b/MANUAL.txt @@ -549,7 +549,7 @@ Reader options {.options} Filters and lua-filters are applied in the order specified on the command line. -`--lua-filter=`*SCRIPT* +`-L` *SCRIPT*, `--lua-filter=`*SCRIPT* : Transform the document in a similar fashion as JSON filters (see `--filter`), but use pandoc's build-in lua filtering system. The given diff --git a/src/Text/Pandoc/App/CommandLineOptions.hs b/src/Text/Pandoc/App/CommandLineOptions.hs index 7e3910aaa..ae12ba42c 100644 --- a/src/Text/Pandoc/App/CommandLineOptions.hs +++ b/src/Text/Pandoc/App/CommandLineOptions.hs @@ -428,7 +428,7 @@ options = "PROGRAM") "" -- "External JSON filter" - , Option "" ["lua-filter"] + , Option "L" ["lua-filter"] (ReqArg (\arg opt -> return opt { optFilters = LuaFilter (normalizePath arg) : |