doc/MANUAL.txt
MANUAL.html
NEWS.html
README.md
