diff options
author | keithw <unknown> | 2000-07-03 16:45:04 +0000 |
---|---|---|
committer | keithw <unknown> | 2000-07-03 16:45:04 +0000 |
commit | 736571638af5d8a6014deadd17be32c6abe0e242 (patch) | |
tree | 2fa8d3635a8af2053a7d63facd2aa74bd9a6cc50 /docs | |
parent | 0028761e273dddaee25802e331717f3a5d07c7ad (diff) | |
download | haskell-736571638af5d8a6014deadd17be32c6abe0e242.tar.gz |
[project @ 2000-07-03 16:45:04 by keithw]
Add note that `gmake clean' should *not* destroy the work of `gmake boot'.
In all cases, the sequence autoconf, ./configure, gmake boot, gmake clean,
gmake all should work correctly.
** Please verify that this is indeed the case! **
Diffstat (limited to 'docs')
-rw-r--r-- | docs/building.sgml | 13 |
1 files changed, 7 insertions, 6 deletions
diff --git a/docs/building.sgml b/docs/building.sgml index eebe7aa0cb..99a36ac872 100644 --- a/docs/building.sgml +++ b/docs/building.sgml @@ -1230,7 +1230,8 @@ programs. It also builds the necessary tools for compilation to proceed. You should say <Command>gmake boot</Command> right after configuring your build tree, but note that this is a one-off, i.e., there's no need to re-do <Command>gmake boot</Command> if you should re-configure your build tree at a later -stage (no harm caused if you do though). +stage (no harm caused if you do though). Notably, you should say +<Command>gmake boot</Command> before you say <Command>gmake clean</Command>. </Para> </ListItem></VarListEntry> <VarListEntry> @@ -1268,11 +1269,11 @@ reverses the effect of <Literal>install</Literal>. <Term><Literal>clean</Literal>:</Term> <ListItem> <Para> -Delete all files from the current directory that are normally -created by building the program. Don't delete the files that -record the configuration. Also preserve files that could be made -by building, but normally aren't because the distribution comes -with them.</para> +Delete all files from the current directory that are normally created +by building the program. Don't delete the files that record the +configuration, or files generated by <Command>gmake boot</Command>. +Also preserve files that could be made by building, but normally +aren't because the distribution comes with them.</para> </ListItem></VarListEntry> <varlistentry> |