mirror of
https://github.com/davisking/dlib.git
synced 2024-11-01 10:14:53 +08:00
Made the old release notes page also display the current release date as
it's last modified time.
This commit is contained in:
parent
da9a228b46
commit
ef25a8e57b
@ -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
|
||||
|
Loading…
Reference in New Issue
Block a user