1<!-- Copyright 2018 Paul Fultz II 2 Distributed under the Boost Software License, Version 1.0. 3 (http://www.boost.org/LICENSE_1_0.txt) 4--> 5<!DOCTYPE HTML> 6<html lang="en-US"> 7 <head> 8 <meta charset="UTF-8"> 9 <meta http-equiv="refresh" content="1;url=doc/"> 10 <script type="text/javascript"> 11 window.location.href = "doc/" 12 </script> 13 <title>Page Redirection</title> 14 </head> 15 <body> 16 <!-- Note: don't tell people to `click` the link, just tell them that it is a link. --> 17 If you are not redirected automatically, follow the <a href='doc/'>link to example</a> 18 </body> 19</html>