This file controls the navigation below "documentation" on the website.

  -  [](README.md)
  -  [Getting started](quick-start.md)
  -  [Planner usage](planner-usage.md)
  -  [PDDL support](pddl-support.md)
  -  [Search plugins](search/)
  -  [Syntax for search plugins](search-plugin-syntax.md)
  -  [IPC planners](ipc-planners.md)
  -  [Exit codes](exit-codes.md)
  -  [Translator output format](translator-output-format.md)
