(make_html_menu_file): remove --psgz option

[lilypond.git] / scripts / lilypond.py

diff --git a/scripts/lilypond.py b/scripts/lilypond.py
index 9f2c148e828324719b822fd8ef2dba325186ae8b..0b9bd54102ca3d89f83b2e088028feb24e833ed9 100644 (file)
--- a/scripts/lilypond.py
+++ b/scripts/lilypond.py
@@ -776,10 +776,6 @@ for opt in options:
                page_images_p = 1
                if 'PNG' not in targets:
                        targets.append ('PNG')
-       elif o == '--psgz':
-               targets.append ('PS.GZ')
-               if 'PS' not in targets:
-                       targets.append ('PS')
        else:
                unimplemented_option () # signal programming error