about summary refs log tree commit diff
path: root/manual/maint.texi
diff options
context:
space:
mode:
Diffstat (limited to 'manual/maint.texi')
-rw-r--r--manual/maint.texi4
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