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