Fix html redirection to the docs
Now redirects from top level to user-default location, and if you're in the repo there's a new second redirect to the real docs.develop
							parent
							
								
									faec3b0cbc
								
							
						
					
					
						commit
						4b9696d295
					
				@ -0,0 +1,23 @@
 | 
			
		||||
<!DOCTYPE HTML>
 | 
			
		||||
<!--
 | 
			
		||||
    DO NOT CHANGE THIS FILE - it redirects to the actual documentation.
 | 
			
		||||
    If the page is not found, you can read the raw docs in the docs folder.
 | 
			
		||||
 | 
			
		||||
    This file is an additional redirect for users in the DFHack code repo
 | 
			
		||||
    who are visiting from ../README.html
 | 
			
		||||
 | 
			
		||||
    For end-users, the real index.html will be in this relative location.
 | 
			
		||||
    -->
 | 
			
		||||
<html lang="en-US">
 | 
			
		||||
    <head>
 | 
			
		||||
        <meta charset="UTF-8">
 | 
			
		||||
        <meta http-equiv="refresh" content="0;url=./html/index.html">
 | 
			
		||||
        <script type="text/javascript">
 | 
			
		||||
            window.location.href = "./html/index.html"
 | 
			
		||||
        </script>
 | 
			
		||||
        <title>Page Redirection</title>
 | 
			
		||||
    </head>
 | 
			
		||||
    <body>
 | 
			
		||||
        Follow this <a href='./html/index.html'>link to the documentation.</a>
 | 
			
		||||
    </body>
 | 
			
		||||
</html>
 | 
			
		||||
		Loading…
	
		Reference in New Issue