diff --git a/doc/manual/manual.xml b/doc/manual/manual.xml index 671ca9d65..4d518e31e 100644 --- a/doc/manual/manual.xml +++ b/doc/manual/manual.xml @@ -44,23 +44,23 @@
Main commands - + +
Utilities - - + + -