Hi, Tomas Jura reported a problem with the documentation and handling of command line options in 1.2.12final, please see
http://bugs.debian.org/309005 Regards, Gerrit. -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]