diff options
author | Ossama Othman <ossama-othman@users.noreply.github.com> | 2000-09-14 19:30:17 +0000 |
---|---|---|
committer | Ossama Othman <ossama-othman@users.noreply.github.com> | 2000-09-14 19:30:17 +0000 |
commit | 92e866a87d23575859ff7b6d5c936e6654b827c2 (patch) | |
tree | 912fb00ba74a738e14b8aba80d721c84ee2179ab /bin/bootstrap | |
parent | 373e80253705a7d4680cb4f4337a972520e49d94 (diff) | |
download | ATCD-92e866a87d23575859ff7b6d5c936e6654b827c2.tar.gz |
ChangeLogTag:Thu Sep 14 11:59:48 2000 Ossama Othman <ossama@uci.edu>
Diffstat (limited to 'bin/bootstrap')
-rwxr-xr-x | bin/bootstrap | 8 |
1 files changed, 6 insertions, 2 deletions
diff --git a/bin/bootstrap b/bin/bootstrap index 2c7da6225c6..96711a4e6bc 100755 --- a/bin/bootstrap +++ b/bin/bootstrap @@ -104,7 +104,11 @@ if test -d m4; then fi # Provide some "useful" information. - echo Bootstrapping... + if test $bootstrap_release = yes; then + echo Bootstrapping release... + else + echo Bootstrapping workspace... + fi # Update the NEWS file # For now just copy the contents of the `VERSION' file to make automake @@ -160,7 +164,7 @@ if test -d m4; then if test $bootstrap_release = yes; then echo 'Inserting ACE man page lists into appropriate Makefile.am files.' ACE_MAN_PAGES=`(cd man/man3 && echo *.3)` - ACE_HTML_MAN_PAGES=`echo $ACE_MAN_PAGES | sed -e 's/.3$/.html/g'` + ACE_HTML_MAN_PAGES=`echo $ACE_MAN_PAGES | sed -e 's/.3 /.html /g' -e 's/.3$/.html/g'` else ACE_MAN_PAGES= ACE_HTML_MAN_PAGES= |