1<!DOCTYPE html> 2<html> 3<head> 4 <meta charset="utf8"> 5 <meta http-equiv="content-type" content="text/html;charset=utf-8"> 6 <meta http-equiv="refresh" content="1; url=jsoncstyleguide.xml"> 7 <title>Redirecting</title> 8</head> 9<!-- The BODY onLoad redirect is the best: it preserves #fragments and 10 ?queries. But it requires javascript. If that fails, the 11 meta-refresh kicks in; it works more generally, but loses fragments 12 and queries, takes a second, and pollutes the browser history. 13 If they both fail, we let the user manually click on the new link. 14--> 15 <body onload="location.replace(location.href.replace('.html', '.xml'))"> 16 Redirecting you to <a href="jsoncstyleguide.xml">jsoncstyleguide.xml</a>. 17</body> 18</html> 19