Git commit 4a8da89243aec1ba9e3d60303271a162f65b3431 by Pino Toscano.
Committed on 18/05/2019 at 09:56.
Pushed by pino into branch 'master'.
doc: few easy changes
- remove the installation section, which is no more present in KDE
documentations
- remove unused local entities
- use few entities
-
Git commit 3b7278ca18659c772a6ab374665807caaf2865b3 by Pino Toscano.
Committed on 18/05/2019 at 07:25.
Pushed by pino into branch 'master'.
doc: switch to docbook 4.5
No other changes required.
M +1-1doc/index.docbook
