#!/bin/sh
install -D --mode 644 _build/CHANGES.md debian/tmp/usr/doc/topkg/CHANGES.md
install -D --mode 644 _build/LICENSE.md debian/tmp/usr/doc/topkg/LICENSE.md
install -D --mode 644 _build/README.md debian/tmp/usr/doc/topkg/README.md
install -D --mode 644 _build/doc/index-topkg.mld debian/tmp/usr/doc/topkg/odoc-pages/index.mld
install -D --mode 644 _build/pkg/META debian/tmp$OCAML_STDLIB_DIR/topkg/META
install -D --mode 644 _build/src/topkg.cma debian/tmp$OCAML_STDLIB_DIR/topkg/topkg.cma
install -D --mode 644 _build/src/topkg.cmi debian/tmp$OCAML_STDLIB_DIR/topkg/topkg.cmi
if [ -f _build/src/topkg.cmti ]; then install --mode 644 _build/src/topkg.cmti debian/tmp$OCAML_STDLIB_DIR/topkg/topkg.cmti; fi
install -D --mode 644 _build/src/topkg.mli debian/tmp$OCAML_STDLIB_DIR/topkg/topkg.mli
install -D --mode 644 _build/topkg.opam debian/tmp$OCAML_STDLIB_DIR/topkg/opam
