diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2019-09-08 22:37:38 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2019-09-08 22:37:38 -0700 |
| commit | 8696725cd9b07c29086255590ccab038aa31c610 (patch) | |
| tree | 329791bc84b8a33b4e393780707ee4f1a98eff62 | |
| parent | 0558ea9836f5350a00f3df19d55ca6bddda1947b (diff) | |
| download | pandoc-8696725cd9b07c29086255590ccab038aa31c610.tar.gz | |
Add -L option as shortcut for --lua-filter.
| -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) : |