mirror of https://github.com/davisking/dlib.git
Fixed a bug in makedocs
This commit is contained in:
parent
ef25a8e57b
commit
5c183bb499
|
@ -149,7 +149,7 @@ makedocs ()
|
||||||
do
|
do
|
||||||
|
|
||||||
# The last modified date for these files should always be the release date (regardless of when the actual xml files were modified).
|
# 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 "docs/old_release_notes.xml" \
|
if [ "${i}" = "docs/release_notes.xml" -o ${i} = "docs/old_release_notes.xml" \
|
||||||
-o ${i} = "docs/change_log.xml" -o ${i} = "docs/old_change_log.xml" \
|
-o ${i} = "docs/change_log.xml" -o ${i} = "docs/old_change_log.xml" \
|
||||||
-o ${i} = "docs/index.xml" ]
|
-o ${i} = "docs/index.xml" ]
|
||||||
then
|
then
|
||||||
|
|
Loading…
Reference in New Issue