diff options
Diffstat (limited to 'debian/rules')
-rwxr-xr-x | debian/rules | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/debian/rules b/debian/rules index 25ae1ed..be3f9cd 100755 --- a/debian/rules +++ b/debian/rules @@ -16,5 +16,5 @@ BUILD_PATH=_build/install/default/lib/cppo_ocamlbuild .PHONY: override_dh_auto_install override_dh_auto_install: - dune install --destdir=$(DESTDIR) --prefix=/usr --libdir=..$(OCAML_STDLIB_DIR) + dune install --destdir=$(DESTDIR) --prefix=/usr --libdir=$(OCAML_STDLIB_DIR) rm -f $(DESTDIR)/usr/doc/*/LICENSE.md |