I'm in the process of starting my bachelor project and needs a documentation system. Currently it looks like MediaWiki fulfills my requirements. All pages of a particular MediaWiki-project is stored in a separate database system. Does it exist an easy way for extracting these pages to a HTML-hierarchy of files? Will it be easier to go for e.g. DokuWiki that doesn't support database functionality?