build.ninja
doc/manual.html
