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