tree 5cc70b6d15ff1d885ce9ee636a37377a753c2177
parent dd256ee5055e0a2c2c5427060420be9ac08c8132
author Anas Nashif <anas.nashif@intel.com> 1625327620 -0400
committer Christopher Friedt <chrisfriedt@gmail.com> 1626347241 -0400

doc: create an index for PDF files

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>