On 13/08/18 02:01, Chris Johns wrote:
On 10 Aug 2018, at 5:39 pm, Sebastian Huber
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 th
On 20/08/2018 16:12, Sebastian Huber wrote:
> On 13/08/18 02:01, Chris Johns wrote:
>>> On 10 Aug 2018, at 5:39 pm, Sebastian Huber
>>> 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
