The recent update on this script to handle strings rather than bytes missed a call to ".decode()", leading to a crash: AttributeError: 'str' object has no attribute 'decode' Tested on x86_64-pc-linux-gnu, committed on trunk gcc/ada/ * doc/share/conf.py: Remove spurious call to ".decode()".