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.texi2
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