tocdir = ${kde_datadir}/kdevdocumentation/tocs
toc_DATA = bash.toc