Include the doc dir in DIST_SUBDIRS instead of EXTRA_DIST