> The mlton package I got during the last upgrade fails to configure. ... > No user-guide directory but guide. I bet that's the cause ;)
Indeed. I committed a fix and the bug will be closed with my next upload to debian. Thanks. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]