site_name: Peering Manager

pages:
  - 'Introduction': 'index.md'
  - 'Setup':
    - 'PostgreSQL': 'setup/postgresql.md'
    - 'Peering Manager': 'setup/peering-manager.md'
    - 'Web Server': 'setup/web-server.md'
    - 'Logging': 'setup/logging.md'
    - 'LDAP': 'setup/ldap.md'
    - 'Upgrading': 'setup/upgrading.md'
    - 'Scheduled Tasks': 'setup/scheduled-tasks.md'
  - 'User Manual': 'man.md'
  - 'Templating': 'config-template.md'
  - 'Integration': 'integration.md'

markdown_extensions:
  - admonition:

theme: readthedocs

site_name: Peering Manager

pages:
  - 'Introduction': 'index.md'
  - 'Setup':
    - 'PostgreSQL': 'setup/postgresql.md'
    - 'Peering Manager': 'setup/peering-manager.md'
    - 'Web Server': 'setup/web-server.md'
    - 'Logging': 'setup/logging.md'
    - 'LDAP': 'setup/ldap.md'
    - 'Upgrading': 'setup/upgrading.md'
    - 'Scheduled Tasks': 'setup/scheduled-tasks.md'
  - 'User Manual': 'man.md'
  - 'Templating': 'config-template.md'
  - 'Integration': 'integration.md'

theme: readthedocs

Remove useless mardown extension for doc generation.
Remove useless mardown extension for doc generation.
