diff options
| author | Loïc Hoguin <[email protected]> | 2015-12-29 00:28:30 +0100 |
|---|---|---|
| committer | Loïc Hoguin <[email protected]> | 2015-12-29 00:28:30 +0100 |
| commit | be976cf37aff634fc9668e15e7a0b1adacf89595 (patch) | |
| tree | 495017d8f08cb2431edbe760e914d6f2388b87a9 /doc/src/guide/shell.asciidoc | |
| parent | 60e3b55fe07d087504a4e9f5c163d5cb75afbcfa (diff) | |
| download | erlang.mk-be976cf37aff634fc9668e15e7a0b1adacf89595.tar.gz erlang.mk-be976cf37aff634fc9668e15e7a0b1adacf89595.tar.bz2 erlang.mk-be976cf37aff634fc9668e15e7a0b1adacf89595.zip | |
Generate proper filenames in the docs' HTML output
This will allow to provide permanent URLs to the documentation.
Diffstat (limited to 'doc/src/guide/shell.asciidoc')
| -rw-r--r-- | doc/src/guide/shell.asciidoc | 1 |
1 files changed, 1 insertions, 0 deletions
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 |