diff options
author | Andoni Morales Alastruey <ylatuya@gmail.com> | 2012-08-23 21:09:04 +0200 |
---|---|---|
committer | Andoni Morales Alastruey <ylatuya@gmail.com> | 2012-08-24 12:36:58 +0200 |
commit | 2942585fad1eb536846f483a4b88d10d097556bd (patch) | |
tree | 70c1a6b77cebc93b2f83e6e9a578f91c4be9841e /recipes/docbook-xml.recipe | |
parent | a7b0e8126920feb4189229098b561ae28494ee9b (diff) |
docbook: list etc/catalog.xml to get it merged
Diffstat (limited to 'recipes/docbook-xml.recipe')
-rw-r--r-- | recipes/docbook-xml.recipe | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/recipes/docbook-xml.recipe b/recipes/docbook-xml.recipe index e9f69d95..8feb39dd 100644 --- a/recipes/docbook-xml.recipe +++ b/recipes/docbook-xml.recipe @@ -7,6 +7,8 @@ class Recipe(recipe.Recipe): licenses = [] btype = BuildType.CUSTOM + files_catalog = ['etc/catalog.xml'] + def install(self): etc_path = os.path.join(self.config.prefix, 'etc') if not os.path.exists(etc_path): |