diff options
| author | simonm <unknown> | 1998-01-29 11:47:56 +0000 |
|---|---|---|
| committer | simonm <unknown> | 1998-01-29 11:47:56 +0000 |
| commit | 9e99937151704730c24c35bea736b5d5010f2aba (patch) | |
| tree | 57348470dea51d6e982a47781855e2caf1722d6c /distrib | |
| parent | e91af1c2a1faf136aa206896f702eeced0f6e584 (diff) | |
| download | haskell-9e99937151704730c24c35bea736b5d5010f2aba.tar.gz | |
[project @ 1998-01-29 11:47:56 by simonm]
add note about 'make install-doc' to the message printed after
configuration.
Diffstat (limited to 'distrib')
| -rw-r--r-- | distrib/configure-bin.in | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/distrib/configure-bin.in b/distrib/configure-bin.in index 956fb96dee..1e882ff8d9 100644 --- a/distrib/configure-bin.in +++ b/distrib/configure-bin.in @@ -116,8 +116,8 @@ AC_PROG_GNUCPP # AC_OUTPUT(Makefile) -echo "**************************************************" +echo "****************************************************" echo "Configuration done, ready to either 'make install'" -echo "or 'make in-place'." +echo "or 'make in-place', followed by 'make install-docs'." echo "(see README and INSTALL files for more info.)" -echo "**************************************************" +echo "****************************************************" |