Using 'cat' instead of 'cp' to copy the Doxyfile to avoid problems in case Doxyfile is write protected

This commit is contained in:
Klaus Schmidinger
2013-02-17 11:11:05 +01:00
parent 7076f20b44
commit 54d81f0b8f
2 changed files with 4 additions and 2 deletions

View File

@@ -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<74>).
- Using 'cat' instead of 'cp' to copy the Doxyfile to avoid problems in case Doxyfile
is write protected.