debian/ion3-dev.install

   1 build/system-inc.mk build/rules.mk usr/share/ion3/build
   2 install-sh config.h system.mk usr/lib/ion3
   3 build/libs.mk usr/lib/ion3/build
   4 libextl/libextl-mkexports usr/lib/ion3/libextl