Bug#329692: /usr/share/doc/mlton/user-guide not there

2005-09-22 Thread Stephen Weeks
> 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

Bug#329692: /usr/share/doc/mlton/user-guide not there

2005-09-22 Thread Torsten Landschoff
Package: mlton Severity: serious Version: 20050906-1 Justification: Installation fails Hi Stephen, The mlton package I got during the last upgrade fails to configure. Reason: -- postinst: if [ "$1" = configure ] && which install-docs >/dev/null 2>&1; then for f in mllex mlton mlyacc; d