Re: [PATCH] cpu-supplement: Remove empty index

2018-08-19 Thread Chris Johns
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

Re: [PATCH] cpu-supplement: Remove empty index

2018-08-19 Thread Sebastian Huber
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

Re: [PATCH] cpu-supplement: Remove empty index

2018-08-12 Thread Chris Johns
> 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 the generation and removing this

[PATCH] cpu-supplement: Remove empty index

2018-08-10 Thread Sebastian Huber
Due to the hierarchical structure an index is not absolutely necessary and an empty index is not helpful. Close #3499. --- cpu-supplement/genindex.rst | 4 cpu-supplement/index.rst| 2 -- 2 files changed, 6 deletions(-) delete mode 100644 cpu-supplement/genindex.rst diff --git a/cpu-su