From: Ben Pfaff <blp@cs.stanford.edu>
Date: Mon, 3 Jan 2011 21:10:07 +0000 (-0800)
Subject: doc: Document that type-7 records must appear in ascending numerical order.
X-Git-Tag: v0.7.7~81
X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?p=pspp-builds.git;a=commitdiff_plain;h=df291f0446ae11b5a3c788a06ee73eb9ac877ca5

doc: Document that type-7 records must appear in ascending numerical order.

Every system file that I have seen puts them in this order, so I cannot
imagine that any other order receives any testing.
---

diff --git a/doc/dev/system-file-format.texi b/doc/dev/system-file-format.texi
index 3f82a462..b0b69dd4 100644
--- a/doc/dev/system-file-format.texi
+++ b/doc/dev/system-file-format.texi
@@ -60,7 +60,8 @@ if present.
 Document record, if present.
 
 @item
-Any records not explicitly included in this list, in any order.
+Extension (type 7) records, in ascending numerical order of their
+subtypes.
 
 @item
 Dictionary termination record.