On 19/06/2023 11:05, svcmathdoxm...@tue.nl wrote:
I’d challenge this. The required HTML parsing is common-good and static serving is sooooo precious and widespread that all tools really really have an interest into supporting this. Think of GitHub page or netlify.
Yes, github pages is the issue here as that's hosting openmath.org It would be nice if the rdf tools honoured this, but do they? certainly systems like wget or curl that directly access url do not, but would follow server specified redirects. 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 David Disclaimer The Numerical Algorithms Group Ltd is a company registered in England and Wales with company number 1249803. The registered office is: 30 St. Giles, Oxford, OX1 3LE, United Kingdom. Please see our Privacy Notice <https://www.nag.com/content/privacy-notice> for information on how we process personal data and for details of how to stop or limit communications from us. This e-mail has been scanned for all viruses and malware by Microsoft Exchange Online (EOP) _______________________________________________ Om mailing list Om@openmath.org https://mailman.openmath.org/cgi-bin/mailman/listinfo/om
