1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
|
#!/usr/bin/make -f
# GNU copyright 1997 to 1999 by Joey Hess.
# Uncomment this to turn on verbose mode.
#export DH_VERBOSE=1
# We want to use dpatch
include /usr/share/dpatch/dpatch.make
HTMLDEST := $(CURDIR)/debian/coq-doc-html/usr/share/doc/coq-doc-html/
build: patch
$(MAKE) tutorial/Tutorial.v.html refman/html/index.html faq/html/index.html RecTutorial/RecTutorial.v.html
$(MAKE) tutorial/Tutorial.v.pdf refman/Reference-Manual.pdf faq/FAQ.v.pdf RecTutorial/RecTutorial.v.pdf
real-clean: patch
$(MAKE) clean
clean: real-clean unpatch
dh_testdir
dh_testroot
dh_clean
install: build
dh_testdir
dh_testroot
dh_clean -k
dh_installdirs
dh_installdocs
cp tutorial/Tutorial.v.html $(HTMLDEST)
cp refman/html/* $(HTMLDEST)/refman
cp faq/FAQ.v.html $(HTMLDEST)
cp RecTutorial/RecTutorial.v.html $(HTMLDEST)
cd debian/coq-doc-html/usr/share/doc/coq; ln -s ../coq-doc-html html
cd debian/coq-doc-pdf/usr/share/doc/coq; ln -s ../coq-doc-pdf pdf
cd debian/coq-doc/usr/share/doc/coq-doc; ln -s ../coq-doc-html html; ln -s ../coq-doc-pdf pdf
touch install-stamp
# Build architecture-independent files here.
binary-indep: build install
dh_testdir
dh_testroot
dh_install
dh_installexamples
dh_installman
dh_installinfo
dh_installchangelogs
dh_link
dh_strip
dh_compress -X.pdf
dh_fixperms
dh_installdeb
dh_gencontrol
dh_md5sums
dh_builddeb
# Build architecture-dependent files here.
binary-arch: build install
binary: binary-indep binary-arch
.PHONY: build clean binary-indep binary-arch binary install patch unpatch
|
