diff options
author | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-03-27 16:49:23 +0000 |
---|---|---|
committer | Joel Sherrill <joel.sherrill@OARcorp.com> | 1998-03-27 16:49:23 +0000 |
commit | e8f7f8327978d9026a1c2ec2ae664f3c3c0aa89d (patch) | |
tree | 4dfe740699df72d226f3b71ed7b17ca079a175d6 /doc/tools/update | |
parent | Added directive and constant prefixes. (diff) | |
download | rtems-e8f7f8327978d9026a1c2ec2ae664f3c3c0aa89d.tar.bz2 |
Localized for use in doc tree.
Diffstat (limited to 'doc/tools/update')
-rw-r--r-- | doc/tools/update | 9 |
1 files changed, 7 insertions, 2 deletions
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 |