diff --git a/docs/Makefile b/docs/Makefile index 760717cc..9b4109cf 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -22,4 +22,4 @@ test: build .PHONY: test-external test-external: build - $(PROOFER) --ignore-status-codes "302" + $(PROOFER) --ignore-status-codes "302" --ignore-urls "/reddit.com/" diff --git a/docs/_posts/2014-06-03-poolboy-example-errors.md b/docs/_posts/2014-06-03-poolboy-example-errors.md index 150475d6..da65615b 100644 --- a/docs/_posts/2014-06-03-poolboy-example-errors.md +++ b/docs/_posts/2014-06-03-poolboy-example-errors.md @@ -133,7 +133,7 @@ abnormally with a reason different from `shutdown`, nor any other errors. Concuerror can also produce a [DOT](https://en.wikipedia.org/wiki/DOT_(graph_description_language)) file, including all the interleavings. This feature can be enabled with `--graph `. -You can then use [`dot`](https://linux.die.net/man/1/dot) to convert +You can then use `dot` to convert the DOT file to an image. ### Racing events diff --git a/docs/faq.md b/docs/faq.md index 1736f7e3..5479cecb 100644 --- a/docs/faq.md +++ b/docs/faq.md @@ -114,10 +114,10 @@ Use a higher `--print_depth`. #### Timeouts Timeouts may appear as part of an Erlang -[`receive`](https://erlang.org/doc/reference_manual/expressions.html#receive) +[`receive`](https://www.erlang.org/doc/system/expressions.html#receive) statement or calls to -[`erlang:send_after/3`](https://erlang.org/doc/man/erlang.html#send_after-3) and -[`erlang:start_timer/3`](https://erlang.org/doc/man/erlang.html#start_timer-3). Due +[`erlang:send_after/3`](https://www.erlang.org/doc/apps/erts/erlang.html#send_after/3) and +[`erlang:start_timer/3`](https://www.erlang.org/doc/apps/erts/erlang.html#start_timer/3). Due to the fact that Concuerror's instrumentation has an overhead on the execution time of the program, Concuerror normally disregards the actual timeout values and assumes: