diff options
| -rw-r--r-- | etc/MACHINES | 15 |
1 files changed, 4 insertions, 11 deletions
diff --git a/etc/MACHINES b/etc/MACHINES index 695bc092e9e..db610b90ee3 100644 --- a/etc/MACHINES +++ b/etc/MACHINES | |||
| @@ -10,19 +10,12 @@ Information about older releases, and platforms that are no longer | |||
| 10 | supported, has been removed. Consult older versions of this file if | 10 | supported, has been removed. Consult older versions of this file if |
| 11 | you are interested in this information. | 11 | you are interested in this information. |
| 12 | 12 | ||
| 13 | The `configure' script uses the configuration name to decide which | 13 | The `configure' script uses the configuration name, and the results of |
| 14 | machine and operating system description files `src/config.h' should | 14 | testing the system, to decide which options to use in src/config.h and |
| 15 | include. The machine description files are all in `src/m', and have | 15 | elsewhere (eg Makefiles). |
| 16 | names similar to, but not identical to, the machine names used in | ||
| 17 | configuration names. The operating system files are all in `src/s', | ||
| 18 | and are named similarly. See the `configure' script if you need to | ||
| 19 | know which configuration names use which machine and operating system | ||
| 20 | description files. | ||
| 21 | 16 | ||
| 22 | If you add support for a new configuration, add a section to this | 17 | If you add support for a new configuration, add a section to this |
| 23 | file, and then edit the `configure' script to tell it which | 18 | file, and edit the `configure.ac' source as needed. |
| 24 | configuration name(s) should select your new machine description and | ||
| 25 | system description files. | ||
| 26 | 19 | ||
| 27 | Some obsolete platforms are unsupported beginning with Emacs 23.1. See | 20 | Some obsolete platforms are unsupported beginning with Emacs 23.1. See |
| 28 | the list at the end of this file. | 21 | the list at the end of this file. |