Fix Waf build after HTML documentation untracking