On 9/12/20 4:49 pm, Sebastian Huber wrote:
> On 09/12/2020 02:19, Chris Johns wrote:
>
>> I have discovered a growing number of cross-links in the documentation...
>>
>> $ grep -r 'branches/master' . | wc -l
>> 42
>
> Independent of the general issue with the cross-links, the growing numbe
On 09/12/2020 02:19, Chris Johns wrote:
I have discovered a growing number of cross-links in the documentation...
$ grep -r 'branches/master' . | wc -l
42
Independent of the general issue with the cross-links, the growing
number is due to the automatically generated header. For examp
Hello,
I have discovered a growing number of cross-links in the documentation...
$ grep -r 'branches/master' . | wc -l
42
We cannot cleanly support cross-referencing documents via href links and
referencing master like this is wrong. HTML might be workable if someone is
willing to invest t
