doc/*.png
doc/*.html
doc/*.gif
doc/PORTING
doc/HACKING
doc/README
