From be976cf37aff634fc9668e15e7a0b1adacf89595 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Lo=C3=AFc=20Hoguin?= Date: Tue, 29 Dec 2015 00:28:30 +0100 Subject: Generate proper filenames in the docs' HTML output This will allow to provide permanent URLs to the documentation. --- doc/src/guide/shell.asciidoc | 1 + 1 file changed, 1 insertion(+) (limited to 'doc/src/guide/shell.asciidoc') diff --git a/doc/src/guide/shell.asciidoc b/doc/src/guide/shell.asciidoc index 083c160..a527253 100644 --- a/doc/src/guide/shell.asciidoc +++ b/doc/src/guide/shell.asciidoc @@ -1,3 +1,4 @@ +[[shell]] == Erlang shell Erlang.mk provides a convenient target for starting a shell -- cgit v1.2.3