diff options
-rw-r--r-- | debian/changelog | 7 | ||||
-rwxr-xr-x | debian/rules | 3 |
2 files changed, 10 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 0afd743..7d255da 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,10 @@ +ocaml-visitors (20210608-5) unstable; urgency=medium + + * Team upload + * Fix arch-indep build + + -- Stéphane Glondu <glondu@debian.org> Thu, 17 Aug 2023 09:11:38 +0200 + ocaml-visitors (20210608-4) unstable; urgency=medium [ Stéphane Glondu ] diff --git a/debian/rules b/debian/rules index b3d28b1..306f105 100755 --- a/debian/rules +++ b/debian/rules @@ -8,3 +8,6 @@ include /usr/share/ocaml/ocamlvars.mk override_dh_auto_build-indep: cd doc && $(MAKE) SHELL=/bin/bash + +override_dh_auto_install-indep: +# Do nothing |