> On 10 Aug 2018, at 5:39 pm, Sebastian Huber > <sebastian.hu...@embedded-brains.de> wrote: > > Due to the hierarchical structure an index is not absolutely necessary > and an empty index is not helpful.
Are there index entries in the doc source that are not being processed? If so the bug is in the generation and removing this entry may not be a solution. I did want to support indexes when the doc source was ported. HTML may not need them but does PDF benefit? Chris _______________________________________________ devel mailing list devel@rtems.org http://lists.rtems.org/mailman/listinfo/devel
