On Tuesday 21 of January 2014 16:42:42 Kevin Ottens wrote: > * tosky found out that the validity of the qtoptions and kdeoptions man > pages is in need of review; > * he's also working with the doc team toward a switch to docbook 4.2; Quick patch: to docbook 4.5 (our documentation is based on 4.2 now). Ciao -- Luigi