diff options
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/install.texi | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/manual/install.texi b/manual/install.texi index 3313bf0f38..0efffde2b5 100644 --- a/manual/install.texi +++ b/manual/install.texi @@ -260,6 +260,8 @@ following patterns: @smallexample alpha-@var{anything}-linux +arm-@var{anything}-linuxaout +arm-@var{anything}-none i@var{x}86-@var{anything}-gnu i@var{x}86-@var{anything}-linux m68k-@var{anything}-linux |