Add obsoletion warning for minimum-Y-extent.

diff --git a/python/convertrules.py b/python/convertrules.py
index ded44cf58208799add08fbf791942027502869e5..7111657ca1912d9adc265a927e2af00b013cf0bc 100644 (file)
--- a/python/convertrules.py
+++ b/python/convertrules.py
@@ -2976,6 +2976,11 @@ def conv(str):
                   r"\1-title-spacing #'space = #\2",
                   str)
 
+    if re.search(r'minimum-Y-extent', str):
+        stderr_write("\n")
+        stderr_write(NOT_SMART % _("vertical spacing has been changed; minimum-Y-extent is obsolete.\n"))
+        stderr_write(UPDATE_MANUALLY)
+
     return str
 
 # Guidelines to write rules (please keep this at the end of this file)