From: Ben Pfaff <blp@cs.stanford.edu>
Date: Tue, 17 May 2005 01:36:51 +0000 (+0000)
Subject: Update Intel manual URLs.
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pintos-anon;a=commitdiff_plain;h=749088412dc35dfc51035c30b86dd0b86a6954f7

Update Intel manual URLs.
---

diff --git a/doc/references.texi b/doc/references.texi
index 6ba0bc1..8aa3b5c 100644
--- a/doc/references.texi
+++ b/doc/references.texi
@@ -15,25 +15,25 @@
 @section Hardware References
 
 @bibdfn{IA32-v1}
-@uref{ftp://download.intel.com/design/Pentium4/manuals/25366514.pdf, ,
+@uref{ftp://download.intel.com/design/Pentium4/manuals/25366515.pdf, ,
 IA-32 Intel Architecture Software Developer's Manual Volume 1: Basic
 Architecture}.  Basic 80@var{x}86 architecture and programming
 environment.
 
 @bibdfn{IA32-v2a}
-@uref{ftp://download.intel.com/design/Pentium4/manuals/25366614.pdf, ,
+@uref{ftp://download.intel.com/design/Pentium4/manuals/25366615.pdf, ,
 IA-32 Intel Architecture Software Developer's Manual Volume 2A:
 Instruction Set Reference A-M}.  80@var{x}86 instructions whose names
 begin with A through M.
 
 @bibdfn{IA32-v2b}
-@uref{ftp://download.intel.com/design/Pentium4/manuals/25366714.pdf, ,
+@uref{ftp://download.intel.com/design/Pentium4/manuals/25366715.pdf, ,
 IA-32 Intel Architecture Software Developer's Manual Volume 2B:
 Instruction Set Reference N-Z}.  80@var{x}86 instructions whose names
 begin with N through Z.
 
 @bibdfn{IA32-v3}
-@uref{ftp://download.intel.com/design/Pentium4/manuals/25366814.pdf, ,
+@uref{ftp://download.intel.com/design/Pentium4/manuals/25366815.pdf, ,
 IA-32 Intel Architecture Software Developer's Manual Volume 3: System
 Programming Guide}.  Operating system support, including segmentation,
 paging, tasks, interrupt and exception handling.