Name make-doc
Description Documentation for the GNU version of the "make" utility
Version 4.4.1-1
Package Base make-doc-non-dfsg
Homepage https://www.gnu.org/software/make/
Maintainers ['Stephen Kitt <skitt@debian.org>']
Contributors []
Distro-repo https://salsa.debian.org/debian/make-doc-non-dfsg
Sources ['https://sources.debian.org/data/non-free/m/make-doc-non-dfsg/4.4.1-1/debian/watch']
Dependencies []
Optional-Dependencies ['make']
Build-Dependencies ['debhelper-compat']
Provides []
Builddate
Architecture amd64
Distro-Version trixie
Licenses []
Hash 5d309de45d8ac021977b74134dc0e52bba3bc822e3358d35c492af5f9bd60eac
#!/usr/bin/make -f
# Uncomment this to turn on verbose mode.
export DH_VERBOSE=1

PREFIX=/usr

%:
	dh $@

override_dh_auto_configure:
	ac_cv_lib_util_getloadavg=no dh_auto_configure --    \
	   --prefix=$(PREFIX) $(confflags)

override_dh_auto_build:
	$(MAKE) -C doc ps pdf info
	(cd doc && makeinfo -o make.html --html --split=chapter --ifinfo make.texi)

override_dh_auto_test:
	test -f doc/make.html/index.html
	test -f doc/make.ps

override_dh_auto_install:
	make -C doc DESTDIR=../debian/make-doc install
	test ! -f debian/make-doc/usr/share/info/dir.gz || rm debian/make-doc/usr/share/info/dir.gz
	test ! -f debian/make-doc/usr/share/info/dir    || rm debian/make-doc/usr/share/info/dir

#Local variables:
#mode: makefile
#End: