[bullet] 09/20: Build the documentation without timestamps and make the build reproducible.

[Markus Koschany]

This is an automated email from the git hooks/post-receive script.

apo-guest pushed a commit to branch master
in repository bullet.

commit 5c7d9df9a3b571333510b128237728aa39ee03dd
Author: Markus Koschany <apo at gambaru.de>
Date:   Fri May 8 22:50:14 2015 +0200

    Build the documentation without timestamps and make the build reproducible.
---
 debian/rules | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/debian/rules b/debian/rules
index 1a409a8..d52ac4d 100755
--- a/debian/rules
+++ b/debian/rules
@@ -19,7 +19,9 @@ override_dh_auto_configure:
 		-DLIB_SUFFIX=/$(DEB_HOST_MULTIARCH)
 
 override_dh_auto_build-indep:
-	doxygen
+	# Build the documentation without TIMESTAMPS and make the build
+	# reproducible
+	( cat Doxyfile ; echo "HTML_TIMESTAMP=NO" ) | doxygen -
 	$(RM) -v html/*.md5 html/*.map
 	# De-duplication (http://wiki.debian.org/dedup.debian.net):
 	rdfind -outputname /dev/null -makesymlinks true html

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-games/bullet.git