--- a/debian/rules 2020-04-13 10:37:35.383164699 +0100 --- b/debian/rules 2020-04-13 11:34:40.945648240 +0100 @@ -15,6 +15,10 @@ override_dh_auto_configure: LIBS="-lm" dh_auto_configure -- --enable-shared +override_dh_installexamples: + dh_installexamples + sed -i -e 's@$(CURDIR)/.@/usr/share/libctl@g' debian/libctl-doc/usr/share/doc/libctl-dev/examples/example.scm + override_dh_installdocs-arch: dh_installdocs mkdir -p debian/libctl-dev/usr/share/doc/libctl-dev