github pages push is included in publishing script. related to #34.