diff options
Diffstat (limited to 'manual')
| -rw-r--r-- | manual/maint.texi | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/manual/maint.texi b/manual/maint.texi index 639852d1ab..5bf473ecfd 100644 --- a/manual/maint.texi +++ b/manual/maint.texi @@ -223,6 +223,8 @@ following patterns: @smallexample alpha-dec-osf1 +alpha-gnu-linux +alpha-gnu-linuxecoff i@var{x}86-@var{anything}-bsd4.3 i@var{x}86-@var{anything}-gnu i@var{x}86-@var{anything}-isc2.2 |