X-Git-Url: https://git.hcoop.net/hcoop/zz_old/debian/smlnj.git/blobdiff_plain/9848d5d298296271e98ea1eea783c348b5a51bde..4dd335d4a21cdd649ea44774a63e8df616568142:/debian/smlnj-doc.docs

diff --git a/debian/smlnj-doc.docs b/debian/smlnj-doc.docs
new file mode 100644
index 0000000..94df895
--- /dev/null
+++ b/debian/smlnj-doc.docs
@@ -0,0 +1,5 @@
+MLRISC/Doc/latex/*.ps
+MLRISC/Tools/Doc/nowhere.ps
+base/cm/Doc/*.pdf
+ml-lpt/doc/*.pdf
+nlffi/lib/Doc/manual/*.pdf