From 2ab471a732295636fc32908a6eefaed4b7eb63d4 Mon Sep 17 00:00:00 2001
From: Tianon Gravi <admwiggin@gmail.com>
Date: Tue, 3 Oct 2017 16:49:22 -0700
Subject: [PATCH] Change "DEPRECATED" header to "DEPRECATION NOTICE" so it can
 be slightly more general-purpose

---
 update.sh | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/update.sh b/update.sh
index cae7a2898..b40c5069c 100755
--- a/update.sh
+++ b/update.sh
@@ -86,7 +86,7 @@ for image in "${images[@]}"; do
 
 		deprecated=
 		if [ -f "$repo/deprecated.md" ]; then
-			deprecated=$'# **DEPRECATED**\n\n'
+			deprecated=$'# **DEPRECATION NOTICE**\n\n'
 			deprecated+="$(cat "$repo/deprecated.md")"
 			deprecated+=$'\n\n'
 		fi