doc/*.xml
doc/CONFIG
doc/HOWTO.xml
doc/PRINCIPLES
doc/html/
