diff --git a/Scripts/Functions/Help/help_updateOutputFiles.sh b/Scripts/Functions/Help/help_updateOutputFiles.sh index 6791060..7d14a4c 100755 --- a/Scripts/Functions/Help/help_updateOutputFiles.sh +++ b/Scripts/Functions/Help/help_updateOutputFiles.sh @@ -25,6 +25,9 @@ function help_updateOutputFiles { + # Print separator line. + cli_printMessage '-' 'AsSeparatorLine' + # Remove extension from manual's base file. This way it is # possible to reuse the same filename on different types of files. MANUAL_BASEFILE=$(echo ${MANUAL_BASEFILE} | sed -r 's!\.texi!!')