Pisilinux/core
5
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Merge pull request #804 from Rmys/master

Browse Source 
docbook-xml:rebuild
This commit is contained in:
Rmys
2018-09-19 14:17:10 +03:00
committed by GitHub
parent 9d061dabb3 936a1dbdff
commit 848099b342
1 changed files with 5 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files
office/docbook/docbook-xml/actions.py
+5 -6
View File
@@ -43,11 +43,10 @@ def install():
pisitools.insinto("/usr/share/xml/docbook/xml-dtd-%s/ent" % version, "ent/*.ent")
for version in ["5.0"]:
pisitools.insinto("/usr/share/xml/docbook/xml-dtd-%s" % version, "docbook-5.0/dtd/*.dtd")
pisitools.insinto("/usr/share/xml/docbook/xml-dtd-%s" % version, "docbook-5.0/rng/*.rng")
pisitools.insinto("/usr/share/xml/docbook/xml-dtd-%s" % version, "docbook-5.0/rng/*.rnc")
pisitools.insinto("/usr/share/xml/docbook/xml-dtd-%s" % version, "docbook-5.0/xsd/*.xsd")
pisitools.insinto("/usr/share/xml/docbook/xml-dtd-%s" % version, "docbook-5.0/sch/*.sch")
pisitools.insinto("/usr/share/xml/docbook/xml-dtd-%s" % version, "docbook-5.0/catalog.xml")
pisitools.insinto("/usr/share/xml/docbook/xml-dtd-%s/dtd" % version, "docbook-5.0/dtd/*.dtd")
pisitools.insinto("/usr/share/xml/docbook/xml-dtd-%s/rng" % version, "docbook-5.0/rng/*.rng")
pisitools.insinto("/usr/share/xml/docbook/xml-dtd-%s/rng" % version, "docbook-5.0/rng/*.rnc")
pisitools.insinto("/usr/share/xml/docbook/xml-dtd-%s/xsd" % version, "docbook-5.0/xsd/*.xsd")
pisitools.insinto("/usr/share/xml/docbook/xml-dtd-%s/sch" % version, "docbook-5.0/sch/*.sch")
pisitools.dodoc("ChangeLog", "README")