diff options
| author | Paolo Bonzini <bonzini@gnu.org> | 2009-11-20 22:44:17 +0100 |
|---|---|---|
| committer | Paolo Bonzini <bonzini@gnu.org> | 2009-11-20 22:52:22 +0100 |
| commit | 73744ccc7e0111f5a3d080088f39d7bd2332de77 (patch) | |
| tree | 0e5e484f6bc7248463e9de2fb8975e16b06f0c84 /README-boot | |
| parent | a1801c8bb7d4d8eb2e87832467b2d5539a8d4142 (diff) | |
| download | grep-73744ccc7e0111f5a3d080088f39d7bd2332de77.tar.gz | |
free `bootstrap' name for bootstrap script
* bootstrap/*: Remove.
* configure.ac: Do not create bootstrap/Makefile.
* Makefile.am: Do not recurse into bootstrap, distribute new files.
* Makefile.boot: Move from bootstrap/Makefile.try.
* README-boot: Move from bootstrap/README.
Diffstat (limited to 'README-boot')
| -rw-r--r-- | README-boot | 17 |
1 files changed, 17 insertions, 0 deletions
diff --git a/README-boot b/README-boot new file mode 100644 index 00000000..c5bfd44f --- /dev/null +++ b/README-boot @@ -0,0 +1,17 @@ + Copyright (C) 1992, 1997, 1998, 1999, 2000, 2001, 2002, 2004, + 2005, 2006, 2007, 2008, 2009 Free Software Foundation, Inc. + + Copying and distribution of this file, with or without modification, + are permitted in any medium without royalty provided the copyright + notice and this notice are preserved. + +If your system is lacking the necessary tools to build the configuration, +Makefile.boot is provided for bootstraping. Invoke it with the following +command: + + (cd src && make -f ../Makefile.boot) + +Indications on how to tweak Makefile.boot for different systems are +provided in the file itself. + +Good luck! |