[Doc-SIG] Broken link on documentation header

[Julien Palard]

On 9/11/20 3:20 PM, tomo cocoa wrote:
> Hi Julien,
> perhaps can you understand the reasons that the link "Documentation" on 
> the head of the top page leads 404 pages?

Oh, nice spot.

I just fixed it, in c23b401425a47b9c8eaa9626701ba6b9b50531f7 in 
docsbuild-scripts. But I'll need a build to show up (max 24h).

Thanks!

Bests,
-- 
[Julien Palard](https://mdk.fr)