Sorry, I was wron with "pnm2ppa" and "min12xxw". They errored here because they were broken in my installation. So this bug is indeed fixed by doing the steps described in my initial posting.
-- Printer setup tools list PPDs for which there are no driver executables in Ubuntu https://bugs.launchpad.net/bugs/150985 You received this bug notification because you are a member of Ubuntu Bugs, which is the bug contact for Ubuntu. -- ubuntu-bugs mailing list ubuntu-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
