On Fri, Jun 27, 2014 at 02:15:20PM -0400, Norman Ramsey wrote: > The man page for ml-ulex says: > > SEE ALSO > sml(1), ml-antlr(1), ml-lex(1), ml-yacc(1). > The programs are documented fully by CM: The SML/NJ Compilation and > Library Manager, User Manual, Matthias Blume, which is available via > <http://cm.bell-labs.com/cm/cs/what/smlnj/doc/CM/new.pdf>. > > The CM manual is not the place to look for documentation of ml-antlr > and ml-lex.
Thanks for the notice. I'll fix that. > It would be good if the correct documentation (SML/NJ > Language Processing Tools: User Guid) were built as PDF and included > in /usr/share/doc/ml-lpt. It turns out the packaging is supposed to be shipping an smlnj-doc package which would have contained this, but there were some bugs preventing that package from ever being built. Thanks for causing me to notice this. :) I'll have both of these fixed soon. Cheers, -- James GPG Key: 4096R/331BA3DB 2011-12-05 James McCoy <james...@debian.org> -- To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
