From: Simon McVittie <smcv@debian.org>
Date: Wed, 21 Jun 2023 15:14:55 +0100
Subject: Don't include full paths in Doxygen-generated documentation

This makes builds more reproducible.
---
 Docs/html.doxyfile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Docs/html.doxyfile b/Docs/html.doxyfile
index eacb94d..a91da56 100755
--- a/Docs/html.doxyfile
+++ b/Docs/html.doxyfile
@@ -129,7 +129,7 @@ INLINE_INHERITED_MEMB  = NO
 # path before files name in the file list and in the header files. If set 
 # to NO the shortest path that makes the file name unique will be used.
 
-FULL_PATH_NAMES        = YES
+FULL_PATH_NAMES        = NO
 
 # If the FULL_PATH_NAMES tag is set to YES then the STRIP_FROM_PATH tag 
 # can be used to strip a user-defined part of the path. Stripping is 
