search

ott-lang / ott

The Ott tool for writing definitions of programming languages and calculi
Other
341 stars 44 forks source link

Export to HTML #48

Open Vertmo opened 5 years ago

Vertmo commented 5 years ago

Hi ! In addition to printing the documentation to tex, I thought it would be useful to be able to directly export the documentation to HTML (exporting to tex and then tex to html does work, but the results are not "pretty", and don't take advantage of the possibilities of HTML). Would that be useful ? I could also consider exporting to Mardown or reStructuredText which would be useful to export the docs on https://readthedocs.org/ and would fit my specific needs, but I guess HTML would be more useful since it's more "general".

PeterSewell commented 5 years ago

On Wed, 29 May 2019 at 09:22, Basile Pesin notifications@github.com wrote:

Hi ! In addition to printing the documentation to tex, I thought it would be useful to be able to directly export the documentation to HTML (exporting to tex and then tex to html does work, but the results are not "pretty", and don't take advantage of the possibilities of HTML). Would that be useful ?

Perhaps, but it would be quite a lot of work - straightforward in essence, but essentially duplicating everything tex-specific in the code, with minor variations. It would also be a large diff, which I suspect neither Francesco nor I would have time to review :-(

Running Hevea on the latex output might do a reasonable job.

Peter

I could also consider exporting to Mardown or reStructuredText which would be useful to export the docs on https://readthedocs.org/ and would fit my specific needs, but I guess HTML would be more useful since it's more "general".

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/ott-lang/ott/issues/48?email_source=notifications&email_token=ABFMZZSF64P5UJGUPOQIJ7DPXY4MPA5CNFSM4HQKIAK2YY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4GWNKY6A, or mute the thread https://github.com/notifications/unsubscribe-auth/ABFMZZUUXERTW536FWQQPATPXY4MPANCNFSM4HQKIAKQ .

Vertmo commented 5 years ago

I have to admit I didn't try Hevea, and it does a pretty-good job, so I've started working on a ReStructuredText output, which seems more useful. I'll open a WIP pull request when I have good enough results (but I'll understand if you don't have a lot of time to review it of course). I'm also probably going to work on a structured JSON output.