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/dialyzer.asciidoc | 1 + 1 file changed, 1 insertion(+) (limited to 'doc/src/guide/dialyzer.asciidoc') diff --git a/doc/src/guide/dialyzer.asciidoc b/doc/src/guide/dialyzer.asciidoc index d58afbc..58fe53f 100644 --- a/doc/src/guide/dialyzer.asciidoc +++ b/doc/src/guide/dialyzer.asciidoc @@ -1,3 +1,4 @@ +[[dialyzer]] == Dialyzer Dialyzer is a tool that will detect discrepancies in your -- cgit v1.2.3