doc_tree: use get_title instead of original name
doc_tree: use get_title instead of original name

thiblahute/hotdoc,thiblahute/hotdoc,hotdoc/hotdoc,hotdoc/hotdoc,hotdoc/hotdoc,thiblahute/hotdoc,hotdoc/hotdoc,thiblahute/hotdoc,thiblahute/hotdoc,hotdoc/hotdoc,thiblahute/hotdoc,hotdoc/hotdoc