search

AmerMathSoc / texml-to-html

Converting AmerMathSoc/texml output to raw HTML
Apache License 2.0
2 stars 2 forks source link

label.js: improve TeX-like punctuation check #385

Open pkra opened 1 year ago

pkra commented 1 year ago

GSM/220 https://github.com/AmerMathSoc/gsm/pull/19 has \begin{proof}[Proof sketch:] where TeX apparently does not add a period.

While this might be changed in the source for other reasons, we should consider mimicking TeX more closely in the future.

pkra commented 1 year ago

Related: in gsm/231https://github.com/AmerMathSoc/gsm/pull/34 we learned that a figure without a caption should not get a period after its label https://github.com/AmerMathSoc/ams-xml-to-html/issues/419

pkra commented 2 months ago

Related but in the other direction: we currently always add punctuation for title+label. While working on TEXT support downstream, I noticed that it has chapter and section labels that do not get a period (given the visual style). Then I realized GSM is the same (but we already hack it downstream).

So now I'm wondering if texml-to-html is the right place after all. Perhaps upstream should always add punctuation (clearly marked) and downstream should customize whatever deviation it requires (instead of texml-to-html being caught in the middle).

pkra commented 2 months ago

I filed https://github.com/AmerMathSoc/texml/issues/199

pkra commented 1 month ago

texml seems amenable to handling things.

pkra commented 1 month ago

Work has begun upstream (gsm217).

pkra commented 1 month ago

Upstream should be ready for us to stop here.

pkra commented 1 month ago

I think we only have to remove the current code. But there's no urgency since we do not have to adjust for anything from upstream either.

pkra commented 4 days ago

As per F2F, texml should be ready to remove addition of punctuation here.