Woodie docs building fails: convert-im6.q16: attempt to perform an operation not allowed by the security policy `PDF' @ error/constitute.c/IsCoderAuthorized/408.

[strk]

See ​https://woodie.osgeo.org/postgis/postgis/build/543/9

I don't know why the html succeeds, as the html step also does the convert: ​https://woodie.osgeo.org/postgis/postgis/build/543/8

[strk]

I'm giving pre-convertion a try in git-to-png branch, see ​https://woodie.osgeo.org/postgis/postgis/branches/git-to-png

Still I wonder if those two gif files (st_touches-math.gif and st_crosses-math.gif) could be replaced by pure text, as unicode should provide all required symbols, see:

• ​https://git.osgeo.org/gitea/postgis/postgis/src/tag/3.3.3/doc/html/images/st_crosses-math.gif
• ​https://git.osgeo.org/gitea/postgis/postgis/src/tag/3.3.3/doc/html/images/st_touches-math.gif

[strk]

If anyone wants to do the image to text conversion this page may be useful: ​https://en.wikipedia.org/wiki/List_of_mathematical_symbols_by_subject

[strk]

See also ​https://tdg.docbook.org/tdg/4.5/equation.html for a semantically correct tag to be used with those formulas

[Sandro Santilli <strk@…>]

In 4e3cb06/git:

Convert gif files to png, to avoid build-time conversion

Closes #5432

[mdavis]

Here's an example of a DE-9IM definition expressed using Unicode symbols:

ST_Crosses(A, B) ⇔ (dim( I(A) ∩ I(B) ) < max( dim(I(A), I(B) ))) ∧ (a ∩ b ≠ a) ∧ (a ∩ b ≠ b)