[colobot] 71/74: Patch the Doxygen configuration to avoid embedding the build path in the documentation; makes that part of the build reproducible

[Didier Raboud]

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

odyx pushed a commit to branch debian/master
in repository colobot.

commit dd595f2f53bd40a12c809d67384b850164fd5663
Author: Didier Raboud <odyx at debian.org>
Date:   Fri Nov 4 12:02:19 2016 +0100

    Patch the Doxygen configuration to avoid embedding the build path in the documentation; makes that part of the build reproducible
---
 debian/patches/doxygen-reproducibly.patch | 25 +++++++++++++++++++++++++
 debian/patches/series                     |  1 +
 2 files changed, 26 insertions(+)

diff --git a/debian/patches/doxygen-reproducibly.patch b/debian/patches/doxygen-reproducibly.patch
new file mode 100644
index 0000000..ea778f0
--- /dev/null
+++ b/debian/patches/doxygen-reproducibly.patch
@@ -0,0 +1,25 @@
+Description: In Doxyfile, ask for a strip of the project source directory, to
+ avoid picking unreproducibilty from the build path
+Author: Didier Raboud <odyx at debian.org>
+Last-Update: 2016-11-04
+
+--- a/Doxyfile.in
++++ b/Doxyfile.in
+@@ -162,7 +162,7 @@
+ # will be relative from the directory where doxygen is started.
+ # This tag requires that the tag FULL_PATH_NAMES is set to YES.
+ 
+-STRIP_FROM_PATH        =
++STRIP_FROM_PATH        = @PROJECT_SOURCE_DIR@
+ 
+ # The STRIP_FROM_INC_PATH tag can be used to strip a user-defined part of the
+ # path mentioned in the documentation of a class, which tells the reader which
+@@ -171,7 +171,7 @@
+ # specify the list of include paths that are normally passed to the compiler
+ # using the -I flag.
+ 
+-STRIP_FROM_INC_PATH    =
++STRIP_FROM_INC_PATH    = @PROJECT_SOURCE_DIR@
+ 
+ # If the SHORT_NAMES tag is set to YES, doxygen will generate much shorter (but
+ # less readable) file names. This can be useful is your file systems doesn't
diff --git a/debian/patches/series b/debian/patches/series
index 0e9e2d4..ac164ec 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,2 +1,3 @@
 find-music-in-root-for-multi-source.patch
 oggenc-reproducibly.patch
+doxygen-reproducibly.patch

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