+Options:"
+ BuildTimeConf.version;
+ "matitamake",
+ sprintf "MatitaMake v%s
+Usage: matitamake [ OPTION ... ] (init | clean | list | destroy | build)
+ init
+ Parameters: name (the name of the development, required)
+ root (the directory in which the delopment is rooted,
+ optional, default is current working directory)
+ Description: tells matitamake that a new development radicated
+ in the current working directory should be handled.
+ clean
+ Parameters: name (the name of the development to destroy, optional)
+ If omitted the development that holds the current working
+ directory is used (if any).
+ Description: clean the develpoment.
+ list
+ Parameters:
+ Description: lists the known developments and their roots.
+ destroy
+ Parameters: name (the name of the development to destroy, required)
+ Description: deletes a development (only from matitamake metadat, no
+ .ma files will be deleted).
+ build
+ Parameters: name (the name of the development to build, required)
+ Description: completely builds the develpoment.
+ publish
+ Parameters: name (the name of the development to publish, required)
+ Description: cleans the development in the user space, rebuilds it
+ in the system space ('ro' repositories, that for this operation
+ becames writable).
+Notes:
+ If target is omitted an 'all' will be used as the default.
+ With -build you can build a development wherever it is.
+ If you specify a target it implicitly refers to the development that
+ holds the current working directory (if any).