From ce775a8c8e6e3b06d8040f64bf48ea2fda35070d Mon Sep 17 00:00:00 2001 From: Ben Pfaff Date: Tue, 28 Sep 2004 00:03:07 +0000 Subject: [PATCH] Mention style for references. --- doc/standards.texi | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/doc/standards.texi b/doc/standards.texi index e7ed568..b95d930 100644 --- a/doc/standards.texi +++ b/doc/standards.texi @@ -41,6 +41,11 @@ them too, especially chapter 5, ``Making the Best Use of C.'' Using a different style won't cause actual problems, but it's ugly to see gratuitous differences in style from one function to another. +Pintos comments sometimes refer to outside standards or +specifications by writing a name inside square brackets, like this: +@code{[IA32-v3]}. These names refer to the reference names used in +this documentation (@pxref{References}). + @node Conditional Compilation @section Conditional Compilation -- 2.30.2