fix broken link on server. ideally we copy this independently of the
authornikita <nikita@n0.is>
Thu, 7 May 2020 08:54:05 +0000 (10:54 +0200)
committernikita <nikita@n0.is>
Thu, 7 May 2020 08:54:05 +0000 (10:54 +0200)
commit80aeaa65d4d06a4e195c1ad12712c68998faa844
treee54001d703d049131b8755ba6ddb2cb46b53690d
parent1ce0ec72e62c44ce9816673af66d23f8e1334ce7
fix broken link on server. ideally we copy this independently of the
checkout build, because this breaking every now and then through a
failing cronjob is bad practices.
doc/index.html