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/ci.asciidoc | 1 + 1 file changed, 1 insertion(+) (limited to 'doc/src/guide/ci.asciidoc') diff --git a/doc/src/guide/ci.asciidoc b/doc/src/guide/ci.asciidoc index 8a96ed4..24cfc05 100644 --- a/doc/src/guide/ci.asciidoc +++ b/doc/src/guide/ci.asciidoc @@ -1,3 +1,4 @@ +[[ci]] == Continuous integration // @todo Write it. -- cgit v1.2.3