Doc make command generates html documentation for github pages.