doc/include.am: fix EXTRA_DIST

10 jobs for doc-include-am-EXTRA_DIST-fixes in 18 minutes and 36 seconds
latest