| commit | cadd062ce4a466a8e4bd722da415d8fe25245549 | [log] [tgz] |
|---|---|---|
| author | Anas Nashif <anas.nashif@intel.com> | Sat Jul 03 11:53:40 2021 -0400 |
| committer | Christopher Friedt <chrisfriedt@gmail.com> | Thu Jul 15 07:07:21 2021 -0400 |
| tree | 5cc70b6d15ff1d885ce9ee636a37377a753c2177 | |
| parent | dd256ee5055e0a2c2c5427060420be9ac08c8132 [diff] |
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>