From cfc2024d37944bdefa805d5c18a2ab0c3d620bbe Mon Sep 17 00:00:00 2001 From: Albert Krewinkel Date: Fri, 30 Sep 2022 18:41:51 +0200 Subject: Use `server` as command to start the pandoc server --- pandoc-cli/src/pandoc.hs | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'pandoc-cli/src') diff --git a/pandoc-cli/src/pandoc.hs b/pandoc-cli/src/pandoc.hs index 1b95d898e..77bd869d3 100644 --- a/pandoc-cli/src/pandoc.hs +++ b/pandoc-cli/src/pandoc.hs @@ -32,7 +32,7 @@ main = E.handle (handleError . Left) $ do _ -> case rawArgs of "lua" : args -> runLuaInterpreter "pandoc lua" args - "serve" : args -> runServer args + "server": args -> runServer args _ -> do engine <- getEngine let cliOpts = options engine -- cgit v1.2.3