pandoc.

2023-02-24 06:29:40 +03:00
parent 99f93e3ff4
commit 6f251d2564
2 changed files with 65 additions and 0 deletions
@@ -0,0 +1,16 @@
+#!/usr/bin/python
+# -*- coding: utf-8 -*-
+#
+# Licensed under the GNU General Public License, version 3.
+# See the file https://www.gnu.org/licenses/gpl-3.0.txt
+
+from pisi.actionsapi import pisitools
+
+def install():
+	pisitools.dobin("bin/pandoc")
+	pisitools.dosym("pandoc", "/usr/bin/pandoc-lua")
+	pisitools.dosym("pandoc", "/usr/bin/pandoc-server")
+
+	pisitools.doman("share/man/man1/pandoc.1.gz")
+	pisitools.doman("share/man/man1/pandoc-lua.1.gz")
+	pisitools.doman("share/man/man1/pandoc-server.1.gz")