continue

2015-05-17 20:03:20 +03:00
parent 176567ccd2
commit 41b4c09fe5
48 changed files with 3569 additions and 113 deletions
@@ -0,0 +1,19 @@
+#!/usr/bin/python
+# -*- coding: utf-8 -*-
+#
+# Licensed under the GNU General Public License, version 3.
+# See the file http://www.gnu.org/licenses/gpl.txt
+
+from pisi.actionsapi import pisitools
+from pisi.actionsapi import get
+
+WorkDir="."
+
+def install():
+    for version in ["4.1.2", "4.2", "4.3", "4.4", "4.5"]:
+        pisitools.insinto("/usr/share/xml/docbook/xml-dtd-%s" % version, "*.dtd")
+        pisitools.insinto("/usr/share/xml/docbook/xml-dtd-%s" % version, "*.mod")
+        pisitools.insinto("/usr/share/xml/docbook/xml-dtd-%s" % version, "docbook.cat")
+        pisitools.insinto("/usr/share/xml/docbook/xml-dtd-%s/ent" % version, "ent/*.ent")
+
+    pisitools.dodoc("ChangeLog", "README")