diff --git a/repos/ports/run/genode_org.run b/repos/ports/run/genode_org.run index b31da972c..0b6282b28 100644 --- a/repos/ports/run/genode_org.run +++ b/repos/ports/run/genode_org.run @@ -112,7 +112,7 @@ if {![file exists bin/genode_org/website/index]} { # ignore wget errors catch { - exec wget -nH -Lrc -P bin/genode_org/website http://genode.org + exec wget -nH -Lrc -P bin/genode_org/website https://genode.org } }