X-Git-Url: https://git.hcoop.net/hcoop/debian/mlton.git/blobdiff_plain/7f918cf15a5aaed7f3029096fda625562ec5b82e..a441e504e8d82c19465abd4a01e9456a34057c86:/debian/mlton-tools.install

diff --git a/debian/mlton-tools.install b/debian/mlton-tools.install
new file mode 100644
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