diff options
| -rw-r--r-- | config/deps/system.json | 5 | ||||
| -rw-r--r-- | config/packages/deps.json | 11 |
2 files changed, 16 insertions, 0 deletions
diff --git a/config/deps/system.json b/config/deps/system.json index 9c76096..d920877 100644 --- a/config/deps/system.json +++ b/config/deps/system.json @@ -40,6 +40,11 @@ "name": "libxml-2.0" }, { + "check": "makeinfo", + "checker": "binary", + "name": "makeinfo" + }, + { "check": "xkbfile", "checker": "pkgconfig", "name": "xkbfile" diff --git a/config/packages/deps.json b/config/packages/deps.json index 71a5fa4..0c0dc41 100644 --- a/config/packages/deps.json +++ b/config/packages/deps.json @@ -588,6 +588,17 @@ "libxml2-dev" ] }, + "makeinfo": { + "debian": [ + "texinfo" + ], + "fedora": [ + "texinfo" + ], + "ubuntu": [ + "texinfo" + ] + }, "metacity": { "debian": [ "metacity" |