| <!DOCTYPE html> | |
| <html> | |
| <head> | |
| <meta charset="UTF-8"> | |
| <meta http-equiv="refresh" content="0; url=/docs/dev/install/source-install/compilation-with-docker"> | |
| <link rel="canonical" href="/docs/dev/install/source-install/compilation-with-docker" /> | |
| </head> | |
| <script> | |
| window.location.href = '/docs/dev/install/source-install/compilation-with-docker' + window.location.search + window.location.hash; | |
| </script> | |
| </html> |