tree 21becd0104adf1e86585f442c9377819c881d14f
parent 7d670209a26860e12520d435ca8c84f1146e3c6d
author Niels Ole Salscheider <niels_ole@salscheider-online.de> 1456952137 +0100
committer Niels Ole Salscheider <niels_ole@salscheider-online.de> 1456952964 +0100

make_docs: Pass the file encoding to open()

Otherwise, it will fail on Python 3 with:
"UnicodeDecodeError: 'ascii' codec can't decode byte 0xc2 in position
7690: ordinal not in range(128)"

We have to use io.open() instead of open(), because open() does not
accept the encoding on Python 2.

Change-Id: I77b6552491e8de01d79a26d2f146ddbd968cce49