4d77f22 CI: Fix building documentation (#111)

1 file Authored by Lukas Holecek 2 years ago, Committed by GitHub 2 years ago,
    CI: Fix building documentation (#111)
    
    
        
file modified
+14 -13