5 Commits (008080dc784b35c7d482f15098cfcde698ba5875)

Author	SHA1	Message	Date
Waldir Pimenta	85395120d6	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	2016-11-09 13:00:29 +00:00
Waldir Pimenta	ca490f9fc9	pandoc: improve desc, add 2 examples (#1072) ... The list of supported formats needs to be done this way until https://github.com/jgm/pandoc/issues/2685 is resolved. Also expand the --to option, to avoid ambiguity (per PR review)	2016-11-09 11:24:52 +00:00
Ruben Vereecken	066582e8ea	Formatted all pages according to guidelines.	2016-01-08 09:38:59 +01:00
Waldir Pimenta	c79e66aece	Changes to pandoc as discussed in #322	2015-11-25 07:51:55 +00:00
Adrian Sieber	8f48ee1d62	Add pandoc	2015-11-09 13:52:05 +01:00