Enhanced docs build system

Signed-off-by: Maciej Kurc <mkurc@antmicro.com>
5 files changed