diff --git a/doc/manual/manual.xml b/doc/manual/manual.xml index d09fe37..2cce9ee 100644 --- a/doc/manual/manual.xml +++ b/doc/manual/manual.xml @@ -15,6 +15,7 @@ + @@ -136,6 +137,7 @@
Development environment +