Import Debian changes 20180207-1

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

diff --git a/debian/mlton-doc.install b/debian/mlton-doc.install
new file mode 100644 (file)
index 0000000..5ddc7e7
--- /dev/null
+++ b/debian/mlton-doc.install
@@ -0,0 +1,4 @@
+usr/share/doc/mlton/examples
+usr/share/doc/mlton/guide
+usr/share/doc/mlton/cm2mlb
+usr/share/doc/mlton/mlton-guide.pdf