diff --git a/doc/project.conf.xml b/doc/project.conf.xml
index 2ceb343..b8bf87f 100644
--- a/doc/project.conf.xml
+++ b/doc/project.conf.xml
@@ -67,7 +67,7 @@
hash sign "#".
- Variable can be defined directly without specifying a particular section
+ Variables can be defined directly without specifying a particular section
first; they belong then to the default section, which is simply considered
to have an empty name.
@@ -121,16 +121,17 @@
The following target types are currently supported:
- "binary": produces binary files, linked from every object file produced with their source files.
- "library": produces a static and a shared version of
- the target, linked from every object file produced
- with their source files, and respectively appending
- ".a" and ".so" extensions to the target name; the
- shared object are also assigned a version number.
- "object": produces a binary object file from the given source.
- "plugin": produces a shared version of the target,
- linked from every object file produced with their
- source files, and appending the ".so" extension to the target name.
+ "binary": produces binary files, linked from every object
+ file produced with their source files.
+ "library": produces a static and a shared version of the
+ target, linked from every object file produced with their source files,
+ and respectively appending ".a" and ".so" extensions to the target name;
+ the shared object are also assigned a version number.
+ "object": produces a binary object file from the given
+ source.
+ "plugin": produces a shared version of the target, linked
+ from every object file produced with their source files, and appending
+ the ".so" extension to the target name.
"script": runs the given script, expecting the target
file to be generated from the sources defined.