blob: 69e130f92a3712eca51322a10ad15adfe53c139b (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
#!/usr/bin/make -f
%:
dh $@ --with elpa
# info page is not generated without this override
override_dh_installinfo:
# support the nodoc build profile
ifneq ($(filter nodoc,$(DEB_BUILD_PROFILES)),)
echo -e "\nnodoc build profile enabled, therefor not building docs.\n"
else
makeinfo --no-split folding.texi -o debian/tmp/folding.info
endif
dh_installinfo
|
