Export to HTML

[Vertmo]

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]

On Wed, 29 May 2019 at 09:22, Basile Pesin ***@***.***> 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 <#48?email_source=notifications&email_token=ABFMZZSF64P5UJGUPOQIJ7DPXY4MPA5CNFSM4HQKIAK2YY3PNVWWK3TUL52HS4DFUVEXG43VMWVGG33NNVSW45C7NFSM4GWNKY6A>, or mute the thread <https://github.com/notifications/unsubscribe-auth/ABFMZZUUXERTW536FWQQPATPXY4MPANCNFSM4HQKIAKQ> .

[Vertmo]

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.