#!/usr/bin/make -f
# -*- makefile -*-
# Sample debian/rules that uses debhelper.
#
# This file was originally written by Joey Hess and Craig Small.
# As a special exception, when this file is copied by dh-make into a
# dh-make output file, you may use that output file without restriction.
# This special exception was added by Craig Small in version 0.37 of dh-make.
#
# Modified to make a template file for a multi-binary package with separated
# build-arch and build-indep targets  by Bill Allombert 2001

# Uncomment this to turn on verbose mode.
export DH_VERBOSE=1

# This has to be exported to make some magic below work.
export DH_OPTIONS


%:
	dh $@ --with elpa

override_dh_elpa:
	# nothing!

override_dh_auto_build:
	make prepare-doc

override_dh_auto_test:
	true

override_dh_auto_install:
	dh_auto_install
	find debian/tmp -name README -delete

override_dh_compress:
	dh_compress --exclude=proofgeneral.pdf
