diff options
Diffstat (limited to 'debian/rules')
-rwxr-xr-x | debian/rules | 7 |
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))) |