Build: include,doc: ensure non-installed files are listed in makefiles

This is especially important for headers, so they are distributed with
"make dist" for building.