personalizzare barra laterale kile

Salve a tutti,
mi farebbe molto comodo personalizzare la barra laterale di kile aggiungendo nuovi simboli alla voce “definiti dall’utente”. Ho cercato sul manuale di kile
http://docs.kde.org/development/en/extragear-office/kile/kile.pdf
e a pagina 41 ho trovato la procedura. Ho installato dvipng, ma non so dove mettere le mani per installare gesymb (che si trova nella sorgente di kile)