search

Clopen-Analysis / latex

The LaTeX files used for Clopen Analysis.
7 stars 2 forks source link

Figure out best publishing format #2

Open qwinters opened 3 years ago

qwinters commented 3 years ago

There is probably a worthwhile debate to be had on whether this should live on as just a TeX document, or if it should also be converted to HTML/Markdown/other format and hosted on a GitHub pages site.

The advantage primarily being that having the content indexed by search engine might increase use.

With something like pandoc or something like that it should be fairly easy to achieve. The major downside is this will probably limit the TeX formula a bit (e.g. can't use packages like esint, qty, and bbm for nice formatting)

abackus commented 3 years ago

This should definitely have an HTML form. r/UncountableSet suggested PreTeXt, and I was considering Gerbe since this seems to be standard.

qwinters commented 3 years ago

I've never heard of Gerbe -- do you have a link so I could check it out? If it's the standard then that sounds promising! Hopefully they'll just be an easy template for setting it up.

I was thinking PreTeXt or just using Pandoc to convert to HMTL -- the main advantage of Pandoc is that it wouldn't require re-writing existing TeX as much (PreTeXt requires a different format for theorems etc.)

If we do pandoc there's pandoc-action which can be setup to run the document conversion each time a PR gets merged (and then if we just have a folder where the HTML gets dumped to, we could use that + github pages to avoid having any complicated CI/hosting setups).

My vote would be for whatever is easiest to work with native GitHub hosting just because I think the less time anyone has to spend on maintaining the publishing functionality the better

abackus commented 3 years ago

For now I think the native GitHub hosting is fine, but I would like to have Googleable content, which is kind of the point of Gerby (why did I think it was spelled Gerbe?) -- see https://gerby-project.github.io/. It's what powers Stacks Project, Kerodon, ega.fppf.site, etc.

I'll look into setting up Gerby in a few weeks, need to take care of some irl responsibilities first.