Fix Gitlab doc build
commit63d978f37426d563a79a9c379f84198bec512a67
authorPaul Bauer <paul.bauer.q@gmail.com>
Fri, 21 Feb 2020 08:01:14 +0000 (21 09:01 +0100)
committerEric Irrgang <ericirrgang@gmail.com>
Fri, 21 Feb 2020 09:27:39 +0000 (21 10:27 +0100)
tree521fc3dec683a7890aff9d89237e9c932163ec08
parentdd0439e0a189e0c28e738afe283ce3a71513aaa6
Fix Gitlab doc build

Change-Id: I058008a1df5ec2fc3406aeb51b52611eaa16a496
docs/dev-manual/releng/index.rst