projects
/
pintos-anon
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Update Intel architecture guide references to latest.
[pintos-anon]
/
doc
/
standards.texi
diff --git
a/doc/standards.texi
b/doc/standards.texi
index fbd673ae58df14ffb2c24488a892842892013264..8e0f0e02bc4a79a4fd1243d2f6d4435fc809ed4e 100644
(file)
--- a/
doc/standards.texi
+++ b/
doc/standards.texi
@@
-44,7
+44,7
@@
Please limit C source file lines to at most 79 characters long.
Pintos comments sometimes refer to external standards or
specifications by writing a name inside square brackets, like this:
Pintos comments sometimes refer to external standards or
specifications by writing a name inside square brackets, like this:
-@code{[IA32-v3]}. These names refer to the reference names used in
+@code{[IA32-v3
a
]}. These names refer to the reference names used in
this documentation (@pxref{References}).
If you remove existing Pintos code, please delete it from your source
this documentation (@pxref{References}).
If you remove existing Pintos code, please delete it from your source