diff options
Diffstat (limited to 'doxygen/builder/rtems-doxygen-unpack-branches')
| -rwxr-xr-x | doxygen/builder/rtems-doxygen-unpack-branches | 9 |
1 files changed, 7 insertions, 2 deletions
diff --git a/doxygen/builder/rtems-doxygen-unpack-branches b/doxygen/builder/rtems-doxygen-unpack-branches index 299e82f..d151172 100755 --- a/doxygen/builder/rtems-doxygen-unpack-branches +++ b/doxygen/builder/rtems-doxygen-unpack-branches @@ -139,8 +139,13 @@ if [ -f ${latest_tags} ]; then log "New: ${b} from ${src} (${hash})" log rm -rf ${new}/${b} rm -rf ${new}/${b} - log cp -r ${src} ${new}/${b} - ${cp} -r ${src} ${new}/${b} + if [ -d ${src}/html ]; then + log cp -r ${src}/html/. ${new}/${b} + ${cp} -r ${src}/html/. ${new}/${b} + else + log cp -r ${src} ${new}/${b} + ${cp} -r ${src} ${new}/${b} + fi log "Update ${b} in tags" cat ${new_tags} | grep -v ${b} > ${new_tags}.tmp echo "${b} ${hash}" >> ${new_tags}.tmp |