Added 'doctype' configuration entry

I think changing the doctype is very important, especially in case of docbook.