From 85395120d6bcb525c66f7199899d05fe84a57bbc Mon Sep 17 00:00:00 2001 From: Waldir Pimenta Date: Wed, 9 Nov 2016 13:00:29 +0000 Subject: [PATCH] pandoc: update for v1.18 piping --help to the head command, as mentioned in #1072, isn't necessary anymore (in fact, doing that doesn't work at all now) See https://github.com/jgm/pandoc/commit/273d90b --- pages/common/pandoc.md | 8 ++++++-- 1 file changed, 6 insertions(+), 2 deletions(-) diff --git a/pages/common/pandoc.md b/pages/common/pandoc.md index 173f68d01c..7c831e62e6 100644 --- a/pages/common/pandoc.md +++ b/pages/common/pandoc.md @@ -10,6 +10,10 @@ `pandoc {{input.docx}} --to {{markdown_github}} -o {{output.md}}` -- List all supported input and output formats: +- List all supported input formats: -`pandoc --help | head` +`pandoc --list-input-formats` + +- List all supported output formats: + +`pandoc --list-output-formats`