update git commit in deploy-gh-pages target with --allow-empty
.
make clean && make install in gh-pages branch