Re: Documentation?
Jean-Luc Delatre <[email protected]> Thu, 20 Sep 2018 17:04:40 +0200
| Newsgroups | gmane.comp.lang.ml.mlton.user |
|---|---|
| Message-ID | <[email protected]> |
> I guess it depends on your distribution's packaging, but there should be a > mlton-guide.pdf along side the mllex.pdf and mlyacc.pdf files; it is a > conversion of the mlton.org website into a pdf. There should also be > /usr/share/doc/mlton/guide/Index, which is a static, local version of the > mlton.org website. Got the PDFs from /usr/share/doc/mlton/mlton in Debian Thank you very much, jld