diff options
| author | Michael Biebl <biebl@debian.org> | 2010-11-30 00:31:39 +0100 |
|---|---|---|
| committer | Michael Biebl <biebl@debian.org> | 2010-11-30 00:31:39 +0100 |
| commit | 95d2f8eb1be319ac1b758520df13734c8da0f44f (patch) | |
| tree | cb52104416b2aeeddceda3175e7cb9544b6a653d /debian/rules | |
| parent | b675d5fe596fbf04528ca77251806f4fa1ee7a64 (diff) | |
Make sure gtk-doc API documentation is built
- Add Build-Depends on gtk-doc-tools. - Add --with-docs configure option.
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index fdcd499b..b6f22bbb 100755 --- a/debian/rules +++ b/debian/rules @@ -19,7 +19,8 @@ DEB_CONFIGURE_EXTRA_FLAGS := \ --with-dhclient=/sbin/dhclient \ --with-iptables=/sbin/iptables \ --with-crypto=gnutls \ - --disable-more-warnings + --disable-more-warnings \ + --with-docs DEB_DH_INSTALLINIT_ARGS := -r -- start 26 2 3 4 5 . stop 88 0 1 6 . |