doc/gracie-logo.svg
doc/gracie-logo.png
doc/README.txt
doc/README.html
doc/TODO.txt
doc/TODO.html
doc/HACKING.txt
doc/HACKING.html
