regen v9_11

diff --git a/doc/arm/Bv9ARM.ch06.html b/doc/arm/Bv9ARM.ch06.html
index 82cc8626150f7bf068ff5a2958ea7986513b4bdf..41f90563bfabed14cbe7aa320d94b75d75b5d56e 100644 (file)
--- a/doc/arm/Bv9ARM.ch06.html
+++ b/doc/arm/Bv9ARM.ch06.html
@@ -367,8 +367,25 @@
                 <p>
                   A non-negative 32-bit integer
                   (i.e., a number between 0 and 4294967295, inclusive).
-                  Its acceptable value might further
-                  be limited by the context in which it is used.
+                  Its acceptable value might be further
+                  limited by the context in which it is used.
+                </p>
+              </td>
+</tr>
+<tr>
+<td>
+                <p>
+                  <code class="varname">fixedpoint</code>
+                </p>
+              </td>
+<td>
+                <p>
+                  A non-negative real number that can be specified to
+                  the nearest one hundredth.  Up to five digits can be
+                  specified before a decimal point, and up to two
+                  digits after, so the maximum value is 99999.99.
+                  Acceptable values might be further limited by the
+                  context in which it is used.
                 </p>
               </td>
 </tr>