diff --git a/doc/manual/manual.xml b/doc/manual/manual.xml index 388cf17..fdf13bf 100644 --- a/doc/manual/manual.xml +++ b/doc/manual/manual.xml @@ -77,13 +77,10 @@ - - - @@ -103,10 +100,13 @@ Helper programs + + +