diff --git a/Doxyfile.REMOVED.git-id b/Doxyfile.REMOVED.git-id
new file mode 100644
index 0000000000..0943c7f07a
--- /dev/null
+++ b/Doxyfile.REMOVED.git-id
@@ -0,0 +1 @@
+80e95187691410ec3979cb1f9e4ca726878215c6
\ No newline at end of file
diff --git a/build/tools/doxygen/doxysearch.cgi.REMOVED.git-id b/build/tools/doxygen/doxysearch.cgi.REMOVED.git-id
new file mode 100644
index 0000000000..5dbddf870f
--- /dev/null
+++ b/build/tools/doxygen/doxysearch.cgi.REMOVED.git-id
@@ -0,0 +1 @@
+0621db7f369243429e07a6fcd66833db3a83c16e
\ No newline at end of file