From 4e7e504f1daeb2ef0f37b180f246da4f210f047a Mon Sep 17 00:00:00 2001 From: Daniel James Date: Mon, 14 Nov 2016 20:24:14 +0000 Subject: [PATCH] Fix date of last release in docs Was relying on boost.php being updated for every release, but now the version number is stored in a separate file, so check that instead. --- common/code/boost_documentation.php | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/common/code/boost_documentation.php b/common/code/boost_documentation.php index 10edabd1..c0819527 100644 --- a/common/code/boost_documentation.php +++ b/common/code/boost_documentation.php @@ -134,7 +134,8 @@ class BoostDocumentation $last_modified = max( strtotime(BOOST_DOCS_MODIFIED_DATE), // last manual documenation update - filemtime(dirname(__FILE__).'/boost.php'), // last release (since the version number is updated) + filemtime(dirname(__FILE__).'/../../generated/current_version.txt'), + // last release) filemtime($file) // when the file was modified );