[Om] OpenMath Organization at github

Paul Libbrecht paul at hoplahup.net
Sat Jul 2 14:47:12 CEST 2016


Hello Michael,

> I created an OpenMath organization on github. The proximate cause is
> that some member of the
> OpenDreamKit project are creating an OpenMath Phrasebook for phython
> and we wanted to have
> a good home for that.
Ok. And Kwarc or the OpenMath SVN were not sufficient. Right?
> I think we should eventually move the OpenMath assets to github
that's fine by me.
> and the OpenMath web pages to GH-pages.
Mmmmh, that looks a bit more critical to me. At least the current
OpenMath website is not a collection of single documents mapped to
single html pages as are the normal GitHub websites. In particular,
several lists and different presentation media are generated from source
data such as the content-dictionaries.

The static website production system we have can be seen as a
prehistoric case of static-site-generator as is the current fashion now
with Jekyll or Assemble tools (see https://www.staticgen.com).
As far as I know, GitHub web pages do not allow a flexible upload from
statically generated html pages. Or does it?
Moving to such a more modern static site generation is certainly useful
but does take some time.

paul
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://openmath.org/pipermail/om/attachments/20160702/03fbdd00/attachment.html>


More information about the Om mailing list