diff options
| author | Albert Krewinkel <albert@zeitkraut.de> | 2023-03-20 16:05:19 +0100 |
|---|---|---|
| committer | Albert Krewinkel <albert@zeitkraut.de> | 2023-03-20 16:06:19 +0100 |
| commit | 70511692a8aca072440e3136b3ac5150ec7a42b5 (patch) | |
| tree | b30b1bbe450d6830e1b63f6f22ff4c462d74e8f1 /pandoc-lua-engine/src/Text/Pandoc/Lua/Module | |
| parent | 8346cfad4c166483c2af48a1f296535aa6f1715f (diff) | |
Lua: add Windows-specific note to pandoc.cli.repl docs
Diffstat (limited to 'pandoc-lua-engine/src/Text/Pandoc/Lua/Module')
| -rw-r--r-- | pandoc-lua-engine/src/Text/Pandoc/Lua/Module/CLI.hs | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pandoc-lua-engine/src/Text/Pandoc/Lua/Module/CLI.hs b/pandoc-lua-engine/src/Text/Pandoc/Lua/Module/CLI.hs index c126d5338..a820cad04 100644 --- a/pandoc-lua-engine/src/Text/Pandoc/Lua/Module/CLI.hs +++ b/pandoc-lua-engine/src/Text/Pandoc/Lua/Module/CLI.hs @@ -105,6 +105,9 @@ repl = defun "repl" , " -- in the repl" , " return pandoc.cli.repl{ doc = doc }" , " end" + , "" + , "**Note**: it seems that the function exists immediately on Windows," + , "without prompting for user input." ] where fillWithGlobals idx = do |