oopsie, broke the build

Docs/manual.texi

@@ -41889,9 +41889,9 @@ You need to use the following functions when you want to create a
 threaded client. @xref{Threaded clients}.
 
 @menu
-* my_init::                       @code{my_init()}
-* mysql_thread_init::             @code{mysql_thread_init()}
-* mysql_thread_end::              @code{mysql_thread_end()}
+* my_init::                     @code{my_init()}
+* mysql_thread_init::           @code{mysql_thread_init()}
+* mysql_thread_end::            @code{mysql_thread_end()}
 @end menu
 
 @node my_init, mysql_thread_init, C Thread functions, C Thread functions
@@ -41963,7 +41963,7 @@ a stand-alone server without modifying any code.
 * mysql_server_end::            @code{mysql_server_end()}
 @end menu
 
-@node mysql_server_init, mysql_server_end, C Embedded Server functions, C Embedded Server functions
+@node mysql_server_init, mysql_server_end, C Embedded Server func, C Embedded Server func
 @subsubsection @code{mysql_server_init()}
 
 @findex @code{mysql_server_init()}
@@ -42024,7 +42024,7 @@ int main(void) @{
 
 0 if ok, 1 if an error occurred.
 
-@node mysql_server_end,  , mysql_server_init, C Embedded Server functions
+@node mysql_server_end,  , mysql_server_init, C Embedded Server func
 @subsubsection @code{mysql_server_end()}
 
 @findex @code{mysql_server_end()}