required dev tools list update
leave texinfo files in same folder as sources
fix doc builds
more explicit html.d exclusion