.. dune documentation master file, created by
   sphinx-quickstart on Tue Apr 11 21:24:42 2017.
   You can adapt this file completely to your liking, but it should at least
   contain the root `toctree` directive.

Welcome to dune's documentation!
================================

.. toctree::
   :maxdepth: 3

   quick-start
   overview
   terminology
   project-layout-specification
   dune-files
   executables
   tests
   foreign-code
   documentation
   installation
   usage
   advanced-topics
   configurator
   menhir
   jsoo
   opam
   variants
   formatting
   coq
   faq
   known-issues
   migration
