waf: use docdir for pdf