diff --git a/data/deprecated.json b/data/deprecated.json index 099341283..fc5a0b74f 100644 --- a/data/deprecated.json +++ b/data/deprecated.json @@ -228,6 +228,14 @@ "old": {"building:color": "*"}, "replace": {"building:colour": "$1"} }, + { + "old": {"building:height": "*"}, + "replace": {"height": "$1"} + }, + { + "old": {"building:min_height": "*"}, + "replace": {"min_height": "$1"} + }, { "old": {"building:roof:colour": "*"}, "replace": {"roof:colour": "$1"} diff --git a/data/taginfo.json b/data/taginfo.json index eec03d73d..104ef416e 100644 --- a/data/taginfo.json +++ b/data/taginfo.json @@ -1998,6 +1998,8 @@ {"key": "building", "value": "home", "description": "🄳 ➜ building=house"}, {"key": "building", "value": "household", "description": "🄳 ➜ building=house"}, {"key": "building:color", "description": "🄳 ➜ building:colour=*"}, + {"key": "building:height", "description": "🄳 ➜ height=*"}, + {"key": "building:min_height", "description": "🄳 ➜ min_height=*"}, {"key": "building:roof:colour", "description": "🄳 ➜ roof:colour=*"}, {"key": "building:type", "description": "🄳 ➜ building=*"}, {"key": "camp_site", "value": "camp_pitch", "description": "🄳 ➜ tourism=camp_pitch"},