minor change in docs/conf.py
Fix broken --diff option after changeset 4721b9dc; issue #169