#!/usr/bin/make -f

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

# Build cache (for accelerating Debian debugging)
BUILDCACHE := $(wildcard ../coq.cache)

%:
	dh $@

.PHONY: override_dh_auto_configure
override_dh_auto_configure:
	./configure -local

.PHONY: override_dh_auto_build
override_dh_auto_build:
ifneq ($(BUILDCACHE),)
	rsync -a --exclude=debian --exclude=.git $(BUILDCACHE)/ .
endif
	$(MAKE) refman faq tutorial rectutorial

.PHONY: override_dh_auto_test
override_dh_auto_test:

.PHONY: override_dh_auto_install
override_dh_auto_install:
