Created attachment 208803 [details]
Use DOCDIR instead of DESTDIR
A commit references this bug:
Date: Sun Nov 3 18:51:40 UTC 2019
New revision: 53527
The example in section 6.2 uses DESTDIR to define where the
website build should end up in. However, it does not work
with DESTDIR, but with DOCDIR. Change the example and
description to use DOCDIR.
Submitted by: email@example.com
Thank you for figuring this out (with the help of the doc-mailinglist) and filing a PR for it with the patch attached to it. I committed it and now I'm closing this PR.