build: Support Debian build, install.
[mes.git] / build-aux / export.make
2018-07-12 Jan Nieuwenhuizenbuild: Support Debian build, install.
2018-07-12 Jan Nieuwenhuizenbuild: Support $DESTDIR.
2018-07-12 Jan Nieuwenhuizenbuild: Build and install manual pages.