Make sure sphinx doc 1.2.2 is used for the make gh-pages command

This prevents unwanted file updates when the wrong sphinx doc version
is installed.