diff options
Diffstat (limited to 'docs/en/erlang.mk/1/guide/external_plugins/index.html')
-rw-r--r-- | docs/en/erlang.mk/1/guide/external_plugins/index.html | 21 |
1 files changed, 21 insertions, 0 deletions
diff --git a/docs/en/erlang.mk/1/guide/external_plugins/index.html b/docs/en/erlang.mk/1/guide/external_plugins/index.html index 3dd5ad0b..6659e956 100644 --- a/docs/en/erlang.mk/1/guide/external_plugins/index.html +++ b/docs/en/erlang.mk/1/guide/external_plugins/index.html @@ -135,6 +135,27 @@ in one go if they wish to do so.</p></div> + + + + + <nav style="margin:1em 0"> + + <a style="float:left" href="http://ninenines.eu/docs/en/erlang.mk/1/guide/xref/"> + Xref + </a> + + + + <a style="float:right" href="http://ninenines.eu/docs/en/erlang.mk/1/guide/external_plugins_list/"> + List of plugins + </a> + + </nav> + + + + </div> <div class="span3 sidecol"> |