Imported Debian patch 110.74-1

[hcoop/zz_old/debian/smlnj.git] / debian / smlnj-doc.doc-base.mlrisc

diff --git a/debian/smlnj-doc.doc-base.mlrisc b/debian/smlnj-doc.doc-base.mlrisc
new file mode 100644 (file)
index 0000000..b79885b
--- /dev/null
+++ b/debian/smlnj-doc.doc-base.mlrisc
@@ -0,0 +1,13 @@
+Document: mlrisc
+Title: MLRISC Manual
+Author: Lal George, Allen Leung
+Abstract: Manual for MLRISC, a framework for retargetable and
+ optimizing compiler back ends.
+Section: Programming
+
+Format: HTML
+Index: /usr/share/doc/smlnj-doc/mlrisc/index.html
+Files: /usr/share/doc/smlnj-doc/mlrisc/*.html
+
+Format: PostScript
+Files: /usr/share/doc/smlnj-doc/mlrisc.ps.gz