# This is a part of the wiki manual
mlton-doc: extra-license-file usr/share/doc/mlton/guide/License
