doc/FAQ.html
doc/HISTORY
doc/MANUAL.html
doc/README*
doc/STORY.html