From e8f7f8327978d9026a1c2ec2ae664f3c3c0aa89d Mon Sep 17 00:00:00 2001 From: Joel Sherrill Date: Fri, 27 Mar 1998 16:49:23 +0000 Subject: Localized for use in doc tree. --- doc/tools/update | 9 +++++++-- 1 file changed, 7 insertions(+), 2 deletions(-) (limited to 'doc/tools/update') diff --git a/doc/tools/update b/doc/tools/update index 06838612db..6199707a74 100644 --- a/doc/tools/update +++ b/doc/tools/update @@ -116,7 +116,7 @@ mode="" base_directory=. do_files="no" do_prompt="yes" -replacement_file="${RTEMS_HOME}/update-tools/310_to_320_list" +replacement_file="" while getopts sfp:b:v OPT do @@ -173,6 +173,7 @@ fi # Verify enough of the RTEMS environment variables are set # +RTEMS_HOME=/usr1/rtems/rtemsdoc-work if [ ! -d "${RTEMS_HOME}" ] then fatal "RTEMS_HOME environment variable is not initialized" @@ -198,7 +199,11 @@ generate_list() generate_list | ${xargs_prog} | while read line do - ${RTEMS_HOME}/update-tools/word-replace -p ${replacement_file} ${line} + + if [ ${verbose} = yes ] ; then + echo ${RTEMS_HOME}/tools/word-replace -p ${replacement_file} ${line} + fi + ${RTEMS_HOME}/tools/word-replace -p ${replacement_file} ${line} if [ $? -ne 0 ] then exit 1 -- cgit v1.2.3