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 21; then for f in mllex mlton mlyacc; do

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