documents:
  - name: Infrastructure Manual
    directory: manual
  - name: Jenkins Job Builder
    directory: jenkins-job-builder
  - name: Nodepool
    directory: nodepool
  - name: OpenStackID
    directory: openstackid
  - name: Shade
    directory: shade
  - name: Slide Presentations
    directory: publications
  - name: Storyboard
    directory: storyboard
  - name: System Configuration
    directory: system-config
  - name: Zuul
    directory: zuul

documents:
  - name: Infrastructure Manual
    directory: manual
  - name: Elastic Recheck
    directory: elastic-recheck
  - name: Jenkins Job Builder
    directory: jenkins-job-builder
  - name: Nodepool
    directory: nodepool
  - name: OpenStackID
    directory: openstackid
  - name: Shade
    directory: shade
  - name: Slide Presentations
    directory: publications
  - name: Storyboard
    directory: storyboard
  - name: System Configuration
    directory: system-config
  - name: Zuul
    directory: zuul

Add Elastic Recheck to docs.openstack.org/infra
Add Elastic Recheck to docs.openstack.org/infra

The index page missed Elastic Recheck, add it.

Note that while the whole list is alphabetical I put the Infrastructure
Manual first as an exception.

Change-Id: I0ddd4ddd964fc6abca3533f9c2d634583a043d82
