Tommaso Cucinotta wrote: > We can add an entry into the "dedicated/specific manuals" submenu, or we > can integrate it into the User Manual, as it was proposed some time ago.
there is no reason why to have specific manual and we have bug #3095 so we don't forget on the merge. you can do it yourself, just move the contents into the manual with enabled change tracking so Uwe is able to keep track of your changes... pavel
