]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
ada: Fix incorrect quoting in documentation
authorEric Botcazou <ebotcazou@adacore.com>
Thu, 16 Nov 2023 07:26:33 +0000 (08:26 +0100)
committerMarc Poulhiès <poulhies@adacore.com>
Tue, 28 Nov 2023 09:35:48 +0000 (10:35 +0100)
gcc/ada/

* doc/gnat_rm/the_implementation_of_standard_i_o.rst: Fix a couple
occurrences of incorrect quoting.
* gnat_rm.texi: Regenerate.

gcc/ada/doc/gnat_rm/the_implementation_of_standard_i_o.rst
gcc/ada/gnat_rm.texi

index e0b9e0c00d822533712ec1060f67522c4285c856..f6d884d0823e4d47856f9676fd15d7135f1e5fa4 100644 (file)
@@ -70,7 +70,7 @@ library streams facility; where
 *
   All files are opened using ``fopen``.
 *
-  All input/output operations use ``fread``/`fwrite`.
+  All input/output operations use ``fread``/``fwrite``.
 
 There is no internal buffering of any kind at the Ada library level. The only
 buffering is that provided at the system level in the implementation of the
@@ -127,8 +127,7 @@ The records of a Direct_IO file are simply written to the file in index
 sequence, with the first record starting at offset zero, and subsequent
 records following.  There is no control information of any kind.  For
 example, if 32-bit integers are being written, each record takes
-4-bytes, so the record at index ``K`` starts at offset
-(``K``-1)*4.
+4-bytes, so the record at index ``K`` starts at offset ``(K-1)*4``.
 
 There is no limit on the size of Direct_IO files, they are expanded as
 necessary to accommodate whatever records are written to the file.
index 52ddb27fd014fe481bf63e35536700e1c9b79ac8..a6a1a67b661669a977143e0439061f45553cc54b 100644 (file)
@@ -19,7 +19,7 @@
 
 @copying
 @quotation
-GNAT Reference Manual , Oct 26, 2023
+GNAT Reference Manual , Nov 24, 2023
 
 AdaCore
 
@@ -21621,7 +21621,7 @@ library streams facility; where
 All files are opened using @code{fopen}.
 
 @item 
-All input/output operations use @code{fread}/@cite{fwrite}.
+All input/output operations use @code{fread}/@code{fwrite}.
 @end itemize
 
 There is no internal buffering of any kind at the Ada library level. The only
@@ -21675,8 +21675,7 @@ The records of a Direct_IO file are simply written to the file in index
 sequence, with the first record starting at offset zero, and subsequent
 records following.  There is no control information of any kind.  For
 example, if 32-bit integers are being written, each record takes
-4-bytes, so the record at index @code{K} starts at offset
-(@code{K}-1)*4.
+4-bytes, so the record at index @code{K} starts at offset @code{(K-1)*4}.
 
 There is no limit on the size of Direct_IO files, they are expanded as
 necessary to accommodate whatever records are written to the file.