From bf1d8c4dd95e1c77db34e4ac5ab639dd449b3ed1 Mon Sep 17 00:00:00 2001
From: Alain Reguera Delgado <alain.reguera@gmail.com>
Date: Feb 27 2011 17:09:42 +0000
Subject: Update manual_updateOutputFiles.sh.


---

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'
-
 }