<html> <head> <meta http-equiv="refresh" content="1;URL=./docs/"> <script> window.location = window.location.href.replace('documentation.html', 'documentation/'); </script> </head> </html>
