diff options
Diffstat (limited to 'debian/rules')
| -rwxr-xr-x | debian/rules | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules index 09e3d0f7..60a844f2 100755 --- a/debian/rules +++ b/debian/rules @@ -28,6 +28,10 @@ include /usr/share/cdbs/1/class/autotools.mk DEB_CONFIGURE_LIBEXECDIR ="\$${prefix}/libexec" DEB_CONFIGURE_USER_FLAGS := --disable-profile DEB_MAKE_INSTALL_TARGET = install prefix=$(DEB_DESTDIR) sysconfdir=$(DEB_DESTDIR)/etc localstatedir=$(DEB_DESTDIR)/var +DEB_DH_STRIP_ARGS := --dbg-package=hurd + +build/hurd:: + cd $(DEB_BUILDDIR)/doc && texi2html -split chapter ../../doc/hurd.texi install/hurd:: # runsystem is managed by update-alternatives |