Document that the character_code field can be a Windows code page

number.

diff --git a/doc/data-file-format.texi b/doc/data-file-format.texi
index bd70af92ac2c68e76c0369edd387532d8a1c858f..5c900244f50daa9ae05ca191f9f038feb18d9508 100644 (file)
--- a/doc/data-file-format.texi
+++ b/doc/data-file-format.texi
@@ -472,6 +472,7 @@ Machine endianness.  1 indicates big-endian, 2 indicates little-endian.
 @item int32 character_code;
 Character code.  1 indicates EBCDIC, 2 indicates 7-bit ASCII, 3
 indicates 8-bit ASCII, 4 indicates DEC Kanji.
+Windows code page numbers are also valid.
 @end table
 
 @node Machine flt64 Info Record, Auxiliary Variable Parameter Record, Machine int32 Info Record, Data File Format