diff options
| author | Michael Biebl <biebl@debian.org> | 2017-09-28 19:25:55 +0200 |
|---|---|---|
| committer | Michael Biebl <biebl@debian.org> | 2017-09-28 19:34:43 +0200 |
| commit | 17cd5130ca910231724856f0c61ecd0b547f3543 (patch) | |
| tree | 6afcddf74ddccc5fa17d11a5bd838d535d5d1796 | |
| parent | 632ce8c3cdf94403a0187d32c128176ec9410b51 (diff) | |
Do not mark python-gi as <!nocheck>
It is needed to build the settings documentation. Closes: #871519
| -rw-r--r-- | debian/control | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/control b/debian/control index 8bfa0cfe..5c77b09c 100644 --- a/debian/control +++ b/debian/control @@ -29,6 +29,7 @@ Build-Depends: debhelper (>= 10.3), libudev-dev (>= 175), libgirepository1.0-dev (>= 0.10.7-1~), gobject-introspection (>= 0.9.12-4~), + python-gi, libpsl-dev (>= 0.1), libcurl4-gnutls-dev (>= 7.24.0), gtk-doc-tools, @@ -44,7 +45,6 @@ Build-Depends: debhelper (>= 10.3), libbluetooth-dev (>= 5), valac (>= 0.17.1.24), dbus <!nocheck>, - python-gi <!nocheck>, python-dbus <!nocheck> Standards-Version: 4.0.0 Vcs-Git: https://anonscm.debian.org/git/pkg-utopia/network-manager.git |