Added IDs to the community clients docs, to control HTML page names

2013-09-01 12:56:49 +02:00 · 2013-09-01 12:56:49 +02:00 · ca4b85edef
parent 69848210d6
commit ca4b85edef
6 changed files with 6 additions and 0 deletions
--- a/docs/community/clients.asciidoc
+++ b/docs/community/clients.asciidoc
@ -1,3 +1,4 @@
+[[clients]]
 == Clients

 [float]
--- a/docs/community/frontends.asciidoc
+++ b/docs/community/frontends.asciidoc
@ -1,3 +1,4 @@
+[[front-ends]]
 == Front Ends

 * https://chrome.google.com/webstore/detail/sense/doinijnbnggojdlcjifpdckfokbbfpbo[Sense]:
--- a/docs/community/github.asciidoc
+++ b/docs/community/github.asciidoc
@ -1,3 +1,4 @@
+[[github]]
 == GitHub

 GitHub is a place where a lot of development is done around
--- a/docs/community/integrations.asciidoc
+++ b/docs/community/integrations.asciidoc
@ -1,3 +1,4 @@
+[[integrations]]
 == Integrations


--- a/docs/community/misc.asciidoc
+++ b/docs/community/misc.asciidoc
@ -1,3 +1,4 @@
+[[misc]]
 == Misc

 * https://github.com/electrical/puppet-elasticsearch[Puppet]:
--- a/docs/community/monitoring.asciidoc
+++ b/docs/community/monitoring.asciidoc
@ -1,3 +1,4 @@
+[[health]]
 == Health and Performance Monitoring

 * https://github.com/lukas-vlcek/bigdesk[bigdesk]: