Fix apparent bad merge from 3.23 (noted by Michael McLagan).

Docs/manual.texi

@@ -31484,17 +31484,6 @@ mysql> SELECT 'David!' LIKE 'David_';
         -> 1
 mysql> SELECT 'David!' LIKE '%D%v%';
         -> 1
-mysql> select TRUNCATE(-1.999,1);
-        -> -1.9
-@end example
-
-Starting from MySQL 3.23.51 all numbers are rounded towards zero.
-
-If @code{D} is negative, then the whole part of the number is zeroed out:
-
-@example
-mysql> select truncate(122,-2);
-       -> 100
 @end example
 
 To test for literal instances of a wildcard character, precede the character
@@ -32115,6 +32104,17 @@ mysql> SELECT TRUNCATE(1.999,1);
         -> 1.9
 mysql> SELECT TRUNCATE(1.999,0);
         -> 1
+mysql> SELECT TRUNCATE(-1.999,1);
+        -> -1.9
+@end example
+
+Starting from MySQL 3.23.51 all numbers are rounded towards zero.
+
+If @code{D} is negative, then the whole part of the number is zeroed out:
+
+@example
+mysql> SELECT TRUNCATE(122,-2);
+       -> 100
 @end example
 
 Note that as decimal numbers are normally not stored as exact numbers in