From ef25a8e57b33c4b197bde1512a28e70a72191ba6 Mon Sep 17 00:00:00 2001
From: Davis King <davis@dlib.net>
Date: Sun, 22 May 2011 11:26:28 -0400
Subject: [PATCH] Made the old release notes page also display the current
 release date as it's last modified time.

---
 docs/makedocs | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/docs/makedocs b/docs/makedocs
index f49a262db..7632741d1 100755
--- a/docs/makedocs
+++ b/docs/makedocs
@@ -149,7 +149,9 @@ makedocs ()
     do
 
         # The last modified date for these files should always be the release date (regardless of when the actual xml files were modified). 
-        if [ "${i}" = "docs/release_notes.xml" -o ${i} = "docs/change_log.xml" -o ${i} = "docs/old_change_log.xml" -o ${i} = "docs/index.xml" ] 
+        if [ "${i}" = "docs/release_notes.xml" -o "docs/old_release_notes.xml" \
+             -o ${i} = "docs/change_log.xml" -o ${i} = "docs/old_change_log.xml" \
+             -o ${i} = "docs/index.xml" ] 
         then
             DATE=$DATE_TODAY
         else