MLRISC/Doc/html/*.html	/usr/share/doc/smlnj-doc/mlrisc/
MLRISC/Doc/graphics/	/usr/share/doc/smlnj-doc/mlrisc/
MLRISC/Doc/pictures/	/usr/share/doc/smlnj-doc/mlrisc/