Comment 1 for bug 793741

The PPD files are there, but in one compressed archive, /usr/lib/cups/driver/splix. You see the PPD files if you let CUPS list them via the command

lpinfo -m


lpinfo -m | grep 1740

in a terminal window and you see all possibilities for your printer.

When I run system-config-printer (I do not have any Samsung printer) and enter the URI "x:" under "Enter URI" I get into the step of manually choosing make and model. There I choose "Samsung" and "ML-1740". The SpliX driver appears there, but indeed the "gdi" driver is marked recommended. This wrong assignment is done by a prioritarization in system-config-printer, it seems to have gotten messed up on the recent change of handling driver priorities.

Moving the bug to system-config-printer ...