f710ccd Fix building docs with Python 3

1 file Authored by frantisekz 5 years ago, Committed by kparal 5 years ago,
    Fix building docs with Python 3
    
    Merges #424