Import Debian changes 20180207-1

[hcoop/debian/mlton.git] / debian / mlton-tools.install

diff --git a/debian/mlton-tools.install b/debian/mlton-tools.install
new file mode 100644 (file)
index 0000000..58491fe
--- /dev/null
+++ b/debian/mlton-tools.install
@@ -0,0 +1,10 @@
+usr/bin/mllex
+usr/bin/mlyacc
+usr/bin/mlprof
+usr/bin/mlnlffigen
+usr/share/man/man1/mllex.1.gz
+usr/share/man/man1/mlyacc.1.gz
+usr/share/man/man1/mlprof.1.gz
+usr/share/man/man1/mlnlffigen.1.gz
+usr/share/doc/mlton/mllex.pdf
+usr/share/doc/mlton/mlyacc.pdf