doc: enable hwloc/intel-mic.h (so that make dis...
doc: enable hwloc/intel-mic.h (so that make dis...

doc: enable hwloc/intel-mic.h (so that make distcheck finds the missing manpages)

This commit was SVN r5495.

ggouaillardet/hwloc,ggouaillardet/hwloc,ggouaillardet/hwloc,shekkbuilder/hwloc,shekkbuilder/hwloc,shekkbuilder/hwloc,ggouaillardet/hwloc,shekkbuilder/hwloc