X-Git-Url: https://pintos-os.org/cgi-bin/gitweb.cgi?a=blobdiff_plain;f=doc%2Fdev%2Ftlo-file-format.texi;h=08973ab532ab346ca6542b5b6356b2f5f7ad3939;hb=7be85ed4d6b1f58c7da728be828fb704f4bf9794;hp=c117816d0fb437ecd211d21cd64d63b69f7c5a4e;hpb=24e84c14af8ac6dc897344104e756c8820f9a031;p=pspp

diff --git a/doc/dev/tlo-file-format.texi b/doc/dev/tlo-file-format.texi
index c117816d0f..08973ab532 100644
--- a/doc/dev/tlo-file-format.texi
+++ b/doc/dev/tlo-file-format.texi
@@ -245,7 +245,7 @@ AreaStyle =>
    00*2
    bool[italic] bool[underline] bool[strikethrough]
    int32[rtf-charset-number]
-   22
+   byte[x]
    byte[font-name-len] byte*[font-name-len][font-name]
    int32[text-color]
    00*2
@@ -283,6 +283,9 @@ ignore it.
 @code{rtf-charset-number} is a character set number from RTF.  A
 reader can safely ignore it.
 
+The meaning of @code{x} is unknown.  Values 12, 22, 31, and 32 have
+been observed.
+
 The @code{font-name} is the name of a font, such as @code{Arial}.
 Only US-ASCII characters have been observed here.