make/conf/jib-profiles.js
branchihse-manpages-branch
changeset 57009 41a309ceb98c
parent 52275 f39073b97db7
child 57033 f54811c07f2a
--- a/make/conf/jib-profiles.js	Tue Oct 30 10:46:56 2018 +0100
+++ b/make/conf/jib-profiles.js	Tue Oct 30 11:46:26 2018 +0100
@@ -957,7 +957,7 @@
         pandoc: {
             organization: common.organization,
             ext: "tar.gz",
-            revision: "1.17.2+1.0",
+            revision: "2.3.1+1.0",
             module: "pandoc-" + input.target_platform,
             configure_args: "PANDOC=" + input.get("pandoc", "install_path") + "/pandoc/pandoc",
             environment_path: input.get("pandoc", "install_path") + "/pandoc"