Documentation: post-merge fixes.

doc/chapters/configuration.texi

@@ -243,12 +243,6 @@ MKL website} provides a script to determine the linking flags.
 @item --disable-build-examples
 Disable the build of examples.
 
-@end table
-
-@item --disable-starpu-top
-Disable the StarPU-Top interface (@pxref{StarPU-Top}).  By default, it
-is enabled when the required dependencies are found.
-
 @item --enable-sched-ctx-hypervisor
 Enables the Scheduling Context Hypervisor plugin(@pxref{Scheduling Context Hypervisor}). 
 By default, it is disabled.

doc/chapters/sched_ctx_hypervisor.texi

@@ -237,7 +237,7 @@ TODO maybe they should be hidden to the user
 
 @menu
 * Hypervisor Policy API:: Hypervisor Policy API
-* Example::
+* Hypervisor example::
 @end menu
 
 @node Hypervisor Policy API
@@ -369,8 +369,8 @@ Returns the flops of a context elapsed from the last resize
 Returns the name of the resizing policy the hypervisor uses
 @end deftypefun
 
-@node Example
-@subsection Example
+@node Hypervisor example
+@subsection Hypervisor example
 
 @cartouche
 @smallexample