Erlang.org down?

Checking several uptime services, it seems erlang.org is down. Does anybody know anything about it?

www.erlang.org is up - and resolves to different address than erlang.org - so probably some dns issue..

Yeah but not the /doc space. When I try to visit counters — OTP 29.0.2 (erts 17.0.2) it redirects to counters — OTP 29.0.2 (erts 17.0.2) and it still fails to load with a timeout eventually.

Yes, they announced on the erlang-questions mailing list there would be maintenance.

Maybe erl -man counters could help in the meantime.

Thanks! I’d consider automatically cross-posting such announcements to ElixirForum – if it’s more or less easily achievable of course.

No manual entry for counters

I guess asdf doesn’t do it by default. :expressionless:

asdf uses kerl (GitHub - kerl/kerl: Easy building and installing of Erlang/OTP instances · GitHub) under the hood. To install man pages you may have to set the env variable KERL_INSTALL_MANPAGES. You can also install html with KERL_INSTALL_HTMLDOCS.

There are some caveats I think but it should all be documented on the kerl github page.