doc/userman
doc/tutorials
doc/faq
doc/history
doc/develdoc
