diff --git a/sys/man/1/0intro b/sys/man/1/0intro
index 873fc2b87..dc31e4989 100644
--- a/sys/man/1/0intro
+++ b/sys/man/1/0intro
@@ -107,7 +107,6 @@ for details, but some important aspects of the initial name space are:
 The environment variable
 .B $cputype
 is set to the name of the kernel's CPU's architecture: one of
-.BR alpha ,
 .BR mips ,
 .BR sparc ,
 .B power
@@ -127,11 +126,7 @@ such as
 .BR "generic pc" .
 Sometimes the middle word of
 .B $terminal
-encodes the file from which the kernel is booted;
-e.g.
-.B "alpha apc axp
-is bootstrapped from
-.BR /alpha/bapc .
+encodes the file from which the kernel is booted.
 .IP \(bu
 The environment variable
 .B $service
diff --git a/sys/man/1/2a b/sys/man/1/2a
index 75a92d17b..eb4af1ba5 100644
--- a/sys/man/1/2a
+++ b/sys/man/1/2a
@@ -1,6 +1,6 @@
 .TH 2A 1 
 .SH NAME
-0a, 1a, 2a, 5a, 6a, 7a, 8a, ka, qa, va \- assemblers
+0a, 1a, 2a, 5a, 6a, 8a, ka, qa, va \- assemblers
 .SH SYNOPSIS
 .B 2a
 [
diff --git a/sys/man/1/2c b/sys/man/1/2c
index 747f11357..8b895c53c 100644
--- a/sys/man/1/2c
+++ b/sys/man/1/2c
@@ -1,6 +1,6 @@
 .TH 2C 1
 .SH NAME
-0c, 1c, 2c, 5c, 6c, 7c, 8c, kc, qc, vc \- C compilers
+0c, 1c, 2c, 5c, 6c, 8c, kc, qc, vc \- C compilers
 .SH SYNOPSIS
 .B 2c
 [
@@ -41,9 +41,6 @@ little-endian ARM
 .B "6c amd64
 AMD64 and compatibles (e.g., Intel EM64T)
 .TP
-.B "7c alpha
-Digital Alpha AXP
-.TP
 .B "8c 386
 Intel i386, i486, Pentium, etc.
 .TP
diff --git a/sys/man/1/2l b/sys/man/1/2l
index f5d592841..c86bf0370 100644
--- a/sys/man/1/2l
+++ b/sys/man/1/2l
@@ -1,6 +1,6 @@
 .TH 2L 1 
 .SH NAME
-0l, 1l, 2l, 5l, 6l, 7l, 8l, kl, ql, vl \- loaders
+0l, 1l, 2l, 5l, 6l, 8l, kl, ql, vl \- loaders
 .SH SYNOPSIS
 .B 2l
 [
diff --git a/sys/man/1/acid b/sys/man/1/acid
index bfe671e54..ea58777b9 100644
--- a/sys/man/1/acid
+++ b/sys/man/1/acid
@@ -60,7 +60,7 @@ at startup; see below.
 .BI -m " machine
 Assume instructions are for the given CPU type
 (one of
-.BR alpha ,
+.BR amd64 ,
 .BR 386 ,
 etc., as listed in
 .IR 2c (1),
diff --git a/sys/man/1/db b/sys/man/1/db
index 34f1f4239..e79b86c29 100644
--- a/sys/man/1/db
+++ b/sys/man/1/db
@@ -99,7 +99,7 @@ commands.
 .BI -m machine
 Assume instructions are for the given CPU type
 (any standard architecture name, such as
-.B alpha
+.B amd64
 or
 .BR 386 ,
 plus
diff --git a/sys/man/3/arch b/sys/man/3/arch
index 7593904db..fd28462ad 100644
--- a/sys/man/3/arch
+++ b/sys/man/3/arch
@@ -17,7 +17,7 @@ arch \- architecture-specific information and control
 .B /dev/msr
 .SH DESCRIPTION
 This device presents textual information about PC hardware and allows
-user-level control of the I/O ports on x86-class and DEC Alpha machines.
+user-level control of the I/O ports on x86-class machines.
 .PP
 Reads from
 .I cputype
diff --git a/sys/man/6/a.out b/sys/man/6/a.out
index 88a7f47ee..50ceb892a 100644
--- a/sys/man/6/a.out
+++ b/sys/man/6/a.out
@@ -39,7 +39,7 @@ typedef struct Exec {
 #define	E_MAGIC	_MAGIC(0, 20)		/* arm */
 #define	Q_MAGIC	_MAGIC(0, 21)		/* powerpc */
 #define	N_MAGIC	_MAGIC(0, 22)		/* mips 4000 LE */
-#define	L_MAGIC	_MAGIC(0, 23)		/* dec alpha */
+#define	L_MAGIC	_MAGIC(0, 23)		/* dec alpha (retired) */
 #define	P_MAGIC	_MAGIC(0, 24)		/* mips 3000 LE */
 #define	U_MAGIC	_MAGIC(0, 25)		/* sparc64 */
 #define	S_MAGIC	_MAGIC(HDR_MAGIC, 26)	/* amd64 */
diff --git a/sys/man/8/booting b/sys/man/8/booting
index 12e27ddb4..34a121b12 100644
--- a/sys/man/8/booting
+++ b/sys/man/8/booting
@@ -28,52 +28,12 @@ Once the kernel is booted, it behaves like the others.
 See
 .IR boot (8)
 for details.
-.SS Alpha PCs
-Alpha PCs must be booted via TFTP using the SRM console.
-If the system has ARC firmware instead, SRM may be downloaded from
-.IP
-.EX
-http://www.compaq.com/
-.EE
-.PP
-You must configure the SRM firmware to load the file
-.BR /alpha/bootalphapc .
-The following commands may be used (replace
-.B ewa0
-with the name of your ethernet device, if different):
-.IP
-.EX
-set boot_reset ON
-set boot_file /alpha/bootalphapc
-set bootdef_dev ewa0
-set ewa0_inet_init bootp
-set ewa0_protocols BOOTP
-.EE
-.PP
-This secondary bootstrap program will first load the file
-.BR /alpha/conf/ <IP-address>
-(substituting the IP address of the system as obtained via bootp).
-This file is expected to be in
-.IR plan9.ini (8)
-format (the file
-.B /alpha/conf/10.0.0.2
-may be used as a template).
-It then loads the kernel via tftp, using the value of
-.B bootfile
-to tell it which file to load; this should be
-.B /alpha/9apc
-for terminals.
 .SS CPU Servers
 The Plan 9 CPU servers are multi-user, so they do not request a user name
 when booting.
 .SS PC CPU Server
 Proceed as for the PC terminal, but load
 .B /386/9pccpuf .
-.SS Alpha PC CPU Server
-Proceed as for the Alpha PC terminal, but use
-.B /alpha/9apccpu
-as the value of
-.BR bootfile .
 .SS SGI Challenge multiprocessor CPU Server
 The Challenge ROM monitor can boot from the Ethernet.
 To boot from the Ethernet, type