build *.html *.pdf res/badges build.ninja .ninja_log .ninja_deps