Index: trunk/data/validator/deprecated.mapcss
===================================================================
--- trunk/data/validator/deprecated.mapcss	(revision 10084)
+++ trunk/data/validator/deprecated.mapcss	(revision 10095)
@@ -814,2 +814,15 @@
   suggestAlternative: "wall=noise_barrier";
 }
+
+/* #8978, 12588 */
+*[amenity=public_building] {
+  throwWarning: tr("{0} is deprecated", "{0.tag}");
+  suggestAlternative: "amenity=townhall";
+  suggestAlternative: "amenity=community_centre";
+  suggestAlternative: "amenity=hospital";
+  suggestAlternative: "leisure=sports_centre";
+  suggestAlternative: "office=government";
+  suggestAlternative: "building=hospital";
+  suggestAlternative: "building=public";
+  suggestAlternative: "...";
+}
Index: trunk/data/validator/ignoretags.cfg
===================================================================
--- trunk/data/validator/ignoretags.cfg	(revision 10084)
+++ trunk/data/validator/ignoretags.cfg	(revision 10095)
@@ -138,5 +138,4 @@
 K:place=allotments
 K:building=civic
-K:building=public
 K:building=houseboat
 K:building=static_caravan