diff --git a/doc/manual/manual.xml b/doc/manual/manual.xml index b3844ff..388cf17 100644 --- a/doc/manual/manual.xml +++ b/doc/manual/manual.xml @@ -53,6 +53,7 @@ + ]> @@ -134,6 +135,7 @@ +
configure build system