On 02/07/2016 14:47, Paul Libbrecht wrote:
As far as I know, GitHub web pages do not allow a flexible upload from statically generated html pages. Or does it?
It does. The Web site contents are defined by the head of the branch gh-pages in a repository, and by the head of the master branch of a repository called organization.github.io for an organization-level site. You can push static HTML of whatever origin there, no questions asked. There is additional support for having Jekyll run automatically, but that's optional.
I run my blog as a static site generated by frog, and the companion site to my book as a static site generated by couscous, both being hosted on GitHub. Couscous even supports one-command deployment to GitHub as a built-in feature.
Konrad. _______________________________________________ Om mailing list Om@openmath.org http://openmath.org/mailman/listinfo/om
