Merge pull request #366 from aronisstav/docs-fixes

Docs fixes

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/"

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 <filename>`.
-You can then use [`dot`](https://linux.die.net/man/1/dot) to convert
+You can then use <a href="https://linux.die.net/man/1/dot" data-proofer-ignore>`dot`</a> to convert
 the DOT file to an image.
 
 ### Racing events

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: