Issue #649: Drop the generated doc/Doxyfile when creating a release.

This commit is contained in:
Eric Haszlakiewicz
2020-07-28 03:52:22 +00:00
parent 66f8ca3c03
commit 002411293d

View File

@@ -81,6 +81,7 @@ Generate the doxygen documentation:
(cd ../distcheck && make doc)
cp -r -p ../distcheck/doc/{html,Doxyfile} doc/.
rm doc/Doxyfile # Remove generated file w/ hardcoded paths
git add -f doc
git commit doc -m "Generate docs for the ${release} release"