From 54d81f0b8f68778d5ff5c9dd8f5a31ab25bde693 Mon Sep 17 00:00:00 2001
From: Klaus Schmidinger <vdr@tvdr.de>
Date: Sun, 17 Feb 2013 11:11:05 +0100
Subject: Using 'cat' instead of 'cp' to copy the Doxyfile to avoid problems in
 case Doxyfile is write protected

---
 HISTORY | 2 ++
 1 file changed, 2 insertions(+)

(limited to 'HISTORY')

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.
-- 
cgit v1.2.3