Amazing. This looks like something that might bring back shared responsability of deploying to web (which got kind of lost between the late DFKI and RIACA hosting, I believe).
And... still no cost? Or some volume limitation? Also: Are media-types adjustments possible? (and... some XHTML-friendliness?) Paul > Konrad Hinsen <mailto:[email protected]> > 2 July 2016 at 21:03 > 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.
_______________________________________________ Om mailing list [email protected] http://openmath.org/mailman/listinfo/om
