Most of the content in the default index is HTML only, so create an index just for PDF and keep it clean. Signed-off-by: Anas Nashif <anas.nashif@intel.com>
