diff --git a/setup.sh b/setup.sh index 2234276fd9a309c94ce8e47b40206d8eb3d20771..4848cac783aeb37650f88b2e69e140dc5c0f4a51 100755 --- a/setup.sh +++ b/setup.sh @@ -593,7 +593,7 @@ ${end}" fi cp "${file_to}" "${bak_file}" - mkdocs_log "INFO" "AAAAAAA Upgrading file **${relative_file_to}**." + mkdocs_log "INFO" "Upgrading file **${relative_file_to}**." grep -B 1000000 "${begin}" "${file_to}" | sed -e "s/${begin}//g" > "${tmp_file_to}" cat "${tmp_file_from}" >> "${tmp_file_to}" grep -A 1000000 "${end}" "${file_to}" | sed -e "s/${end}//g" >> "${tmp_file_to}"