modify doc/conf.py