<!DOCTYPE html>
<html>
<head>
<meta http-equiv="Content-Type" content="text/xhtml; charset=utf-8">
</head>
<body><div style="font-family: sans-serif;"><div class="markdown" style="white-space: normal;">
<p dir="auto">Well, but <code style="margin: 0 0; padding: 0 0.25em; border-radius: 3px; background-color: #F7F7F7;">wget --recursive</code> does follow it.</p>
<p dir="auto">Paul</p>
<p dir="auto">On 19 Jun 2023, at 12:20, <a href="mailto:svcmathdoxmail@tue.nl" style="color: #3983C4;">svcmathdoxmail@tue.nl</a> wrote:</p>
<blockquote style="margin: 0 0 5px; padding-left: 5px; border-left: 2px solid #777777; color: #777777;">
<p dir="auto">For example</p>
<p dir="auto"><a href="https://openmath.org/cd/arith1.xhtml" style="color: #777777;">https://openmath.org/cd/arith1.xhtml</a></p>
<p dir="auto">in a browser shows a CD rendering (from <a href="https://openmath.org/cd/arith1" style="color: #777777;">https://openmath.org/cd/arith1</a>) but</p>
<p dir="auto">wget <a href="https://openmath.org/cd/arith1.xhtml" style="color: #777777;">https://openmath.org/cd/arith1.xhtml</a></p>
<p dir="auto">does not give you the CD html, just a small file with <meta
http-equiv="refresh" content="0;url=arith1" /> which specifies the<br>
redirect to a html agent</p>
</blockquote>
</div>
</div>
</body>
</html>