X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;ds=sidebyside;f=doc%2Fdev%2Fportable-file-format.texi;h=e111d8f8972150de9a89dc8ca79d5adbcbdca5c8;hb=fb26a85be7049ef91c47dcd58e42c76cf88d8003;hp=222791ed4b0d76a8d6367d0ee9cb5eed3dec1838;hpb=a9e49cdd81db02cef2a41c1ad3584d74ae3d7476;p=pspp

diff --git a/doc/dev/portable-file-format.texi b/doc/dev/portable-file-format.texi
index 222791ed4b..e111d8f897 100644
--- a/doc/dev/portable-file-format.texi
+++ b/doc/dev/portable-file-format.texi
@@ -9,7 +9,7 @@
 @c
 
 @node Portable File Format
-@appendix Portable File Format
+@chapter Portable File Format
 
 These days, most computers use the same internal data formats for
 integer and floating-point data, if one ignores little differences like
@@ -17,6 +17,9 @@ big- versus little-endian byte ordering.  However, occasionally it is
 necessary to exchange data between systems with incompatible data
 formats.  This is what portable files are designed to do.
 
+The portable file format is mostly obsolete.  System files
+(@pxref{System File Format}) are a better alternative.
+
 @strong{Please note:} This information is gleaned from examination of
 ASCII-formatted portable files only, so some of it may be incorrect
 for portable files formatted in EBCDIC or other character sets.