diff options
| author | Paul Morris <paulwmorris@gmail.com> | 2015-11-10 16:19:26 -0500 |
|---|---|---|
| committer | James Lowe <pkx166h@gmail.com> | 2015-11-11 13:51:10 +0000 |
| commit | 6c9b2025b984b80306003356eb23fb417be05a73 (patch) | |
| tree | 5f743011a50ccc37f262055295a3786a241a5e3d | |
| parent | 767b370f4e4f4eceac501c532e07b199e1b8df4d (diff) | |
Issue 4504/2 convert-ly rule: whiteout-box --> whiteout
| -rw-r--r-- | python/convertrules.py | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/python/convertrules.py b/python/convertrules.py index f86b90ba4e..444d04d461 100644 --- a/python/convertrules.py +++ b/python/convertrules.py @@ -3855,6 +3855,13 @@ def conv(str): r"\\once \1\2", str) return str +@rule ((2, 19, 32), r"whiteout-box -> whiteout") +def conv(str): + str = re.sub (r"\\whiteout-box(?![a-z_-])", r"\\whiteout", str) + str = re.sub (r"\b\.whiteout-box(?![a-z_-])\b", r".whiteout", str) + str = re.sub (r"#'whiteout-box(?![a-z_-])\b", r"#'whiteout", str) + return str + # Guidelines to write rules (please keep this at the end of this file) # # - keep at most one rule per version; if several conversions should be done, |