From 8696725cd9b07c29086255590ccab038aa31c610 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Sun, 8 Sep 2019 22:37:38 -0700 Subject: [PATCH] Add -L option as shortcut for --lua-filter. --- MANUAL.txt | 2 +- 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) :