summaryrefslogtreecommitdiff
path: root/debian/rules
diff options
context:
space:
mode:
Diffstat (limited to 'debian/rules')
-rwxr-xr-xdebian/rules7
1 files changed, 7 insertions, 0 deletions
diff --git a/debian/rules b/debian/rules
index d0d5597..f6b5446 100755
--- a/debian/rules
+++ b/debian/rules
@@ -91,6 +91,13 @@ ifneq (,$(filter flex-doc, $(shell dh_listpackages)))
debian/flex-doc/usr/share/doc/flex-doc/
endif
+override_dh_installexamples:
+ dh_installexamples
+ # Remove autogenerated Makefiles which contain embedded build
+ # paths in order to ensure reproducible builds.
+ rm -f debian/flex/usr/share/doc/flex/examples/fastwc/Makefile
+ rm -f debian/flex/usr/share/doc/flex/examples/manual/Makefile
+
override_dh_auto_build:
dh_auto_build
ifneq (,$(filter flex-doc, $(shell dh_listpackages)))