diff --git a/Scripts/Bash/centos-art/Functions/Manual/manual_updateOutputFiles.sh b/Scripts/Bash/centos-art/Functions/Manual/manual_updateOutputFiles.sh index fd225b4..c3ded4b 100755 --- a/Scripts/Bash/centos-art/Functions/Manual/manual_updateOutputFiles.sh +++ b/Scripts/Bash/centos-art/Functions/Manual/manual_updateOutputFiles.sh @@ -30,9 +30,6 @@ function manual_updateOutputFiles { # possible to reuse the same filename on different types of files. MANUAL_BASEFILE=$(echo ${MANUAL_BASEFILE} | sed -r 's!\.texi!!') - # Ouput separator line. - cli_printMessage '-' 'AsSeparatorLine' - # Add the working copy root directory to directory stack to make # path construction correctly. Otherwise, makeinfo may produce # paths incorrectly. @@ -47,7 +44,4 @@ function manual_updateOutputFiles { # Remove the working copy root directory from directory stack. popd > /dev/null - # Output separator. - cli_printMessage "-" 'AsSeparatorLine' - }