Knot version in HTML documentation title is not substituted

Also PDF generation fails.

Status changed to closed by commit 0d024f9f

make[1]: Entering directory /tmp/tmp.zFaFFj6iKB/knot/doc' /usr/bin/sphinx-build -b man -d ./_build/doctrees-man -c . -a -vv -n -D latex_paper_size=a4 -D version="@""VERSION@" -D today="@""RELEASE_DATE@" -D release Error: Cannot find source directory /tmp/tmp.zFaFFj6iKB/knot/doc/_build/man'. make[1]: *** [man/knot.conf.5in] Error 1 make[1]: Leaving directory `/tmp/tmp.zFaFFj6iKB/knot/doc' make: *** [all-recursive] Error 1

Status changed to reopened

Status changed to closed

Fixed in https://gitlab.labs.nic.cz/labs/knot/commit/77889631242d95349e0b52b7aaf449bd33085c79

mentioned in commit 0d024f9f