tree a940c6d68bc880fbca4cd8679c02f6c9d0d91b6c
parent 0078a3228c0d311cd40996a730ed8453640a6944
author Silvestrs Timofejevs <silvestrst@lowrisc.org> 1573595577 +0000
committer Philipp Wagner <mail@philipp-wagner.com> 1573650422 +0000

[util] build_docs.py check if existing hugo is hugo-extended

build_docs.py uses hugo-extended to build the docs for OpenTitan, which
is stored as the binary named "hugo". When this binary is present the script
does not check whether the version is extended.

This change adds a hugo version check, which makes sure that the binary is
extended, and downloads the correct version if it is not.

Fixes #757
Signed-off-by: Silvestrs Timofejevs <silvestrst@lowrisc.org>