#! /usr/bin/make -f

%:; dh $@ --with tex

override_dh_auto_install:
	make install DESTDIR=debian/tmp
	dh_install -a