From 002411293d0271424827d970cc34d39968559137 Mon Sep 17 00:00:00 2001
From: Eric Haszlakiewicz <erh+git@nimenees.com>
Date: Tue, 28 Jul 2020 03:52:22 +0000
Subject: [PATCH] Issue #649: Drop the generated doc/Doxyfile when creating a
 release.

---
 RELEASE_CHECKLIST.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/RELEASE_CHECKLIST.txt b/RELEASE_CHECKLIST.txt
index da5d8d7..8e70617 100644
--- a/RELEASE_CHECKLIST.txt
+++ b/RELEASE_CHECKLIST.txt
@@ -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"