Den ons. 6. mar. 2019 kl. 17.01 skrev Arthur A. Gleckler <xxxxxx@speechcode.com>:
On Wed, Mar 6, 2019 at 7:38 AM Jens Axel Søgaard <xxxxxx@soegaard.net> wrote:
 

Yes, that looks terrific.  May I ask what your source language was?  I'm guessing that it was TeX or LaTeX, but I don't see it checked in.  In any case, how hard would it have been to incorporate metadata that could be included in your HTML automatically?  We can always update the generated HTML after the fact, but automatically producing the right thing is even better.

It's LaTeX. We used the R5RS (or R4RS?) source as the template.
I can't find the original source, maybe Sebastian Egner has a copy?

/Jens Axel