diff options
Diffstat (limited to 'docs/en/erlang.mk/1/guide/xref/index.html')
-rw-r--r-- | docs/en/erlang.mk/1/guide/xref/index.html | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/docs/en/erlang.mk/1/guide/xref/index.html b/docs/en/erlang.mk/1/guide/xref/index.html index d966c881..78645d68 100644 --- a/docs/en/erlang.mk/1/guide/xref/index.html +++ b/docs/en/erlang.mk/1/guide/xref/index.html @@ -73,6 +73,27 @@ + + + + + <nav style="margin:1em 0"> + + <a style="float:left" href="http://ninenines.eu/docs/en/erlang.mk/1/guide/dialyzer/"> + Dialyzer + </a> + + + + <a style="float:right" href="http://ninenines.eu/docs/en/erlang.mk/1/guide/external_plugins/"> + External plugins + </a> + + </nav> + + + + </div> <div class="span3 sidecol"> |