1 files changed, 2 insertions, 0 deletions
diff --git a/HISTORY b/HISTORY
index 9ed309bb..504571c2 100644
--- a/HISTORY
+++ b/HISTORY
@@ -7637,3 +7637,5 @@ Video Disk Recorder Revision History
   put them in place when writing future comments, so I decided to drop them entirely.
 - Added Doxyfile.filter to have special characters escaped that would otherwise be
   dropped by Doxygen (reported by Ville Skyttä).
+- Using 'cat' instead of 'cp' to copy the Doxyfile to avoid problems in case Doxyfile
+  is write protected.