diff --git a/lib/scripts/lyxpreview2ppm.py b/lib/scripts/lyxpreview2ppm.py index 555c93a346..ac9827a210 100755 --- a/lib/scripts/lyxpreview2ppm.py +++ b/lib/scripts/lyxpreview2ppm.py @@ -328,6 +328,7 @@ def main(argv): os.chdir(dir) dpi = string.atoi(argv[2]) + output_format = argv[3] if output_format != "ppm": error("This script will generate ppm format images only.")