[Om] Use w3id.org/openmath/ for redirections

[Paul Libbrecht]

Well, but `wget --recursive` does follow it.

Paul

On 19 Jun 2023, at 12:20, svcmathdoxmail at tue.nl wrote:

> For example
>
> https://openmath.org/cd/arith1.xhtml
>
>
> in a browser shows a CD rendering (from https://openmath.org/cd/arith1) but
>
>
> wget https://openmath.org/cd/arith1.xhtml
>
>
> does not give you the CD html, just a small file with <meta
> http-equiv="refresh" content="0;url=arith1" /> which specifies the
> redirect to a html agent
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.openmath.org/pipermail/om/attachments/20230620/4fb896eb/attachment.htm>