Skip to content
Browse files

Fix: workaround a bug in a Debian patch for Doxygen (#42)

Yes. One of the Debian maintainers introduced a patch, that worked
well in 2016. Because of fuzzy-applying of patches, it drifted from
the intended line of code, and is now doing something completely
wrong. For more information, see:

There has been some pointing fingers, but no fix as of yet.
  • Loading branch information
TrueBrain committed Jan 19, 2020
1 parent 0b6a879 commit 3f3994caf9d032240a2d381abca0f077c6d2d9e4
Showing with 5 additions and 0 deletions.
  1. +5 −0 release-docs/files/
@@ -24,6 +24,11 @@ VERSION=${VERSION} doxygen
VERSION=${VERSION} doxygen Doxyfile_Game

# Fixing a bug in a Debian patch on Doxygen
cp docs/source/html/dynsections.js docs/aidocs/html/
cp docs/source/html/dynsections.js docs/gamedocs/html/

mv docs/source ${BASENAME}-docs
mv docs/aidocs ${BASENAME}-docs-ai
mv docs/gamedocs ${BASENAME}-docs-gs

0 comments on commit 3f3994c

Please sign in to comment.
You can’t perform that action at this time.