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 | 3667d4f180f689755ece1bf014fcb59e596fddfe (patch) | |
| tree | 912fb00ba74a738e14b8aba80d721c84ee2179ab /bin/bootstrap | |
| parent | a01e90f4beecf3bc80fd43204bc220f27f785fd5 (diff) | |
| download | ATCD-3667d4f180f689755ece1bf014fcb59e596fddfe.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= |