Reference Manual
================

These documents specify the various features and languages present in Dune.

.. grid:: 1 2 1 2

  .. grid-item::

    .. toctree::
       :maxdepth: 1
       :caption: Files

       dune/index
       dune-project/index
       dune-workspace/index
       config/index
       lexical-conventions

  .. grid-item::

    .. toctree::
       :maxdepth: 1
       :caption: Languages

       actions/index
       ordered-set-language
       boolean-language
       predicate-language
       library-dependencies
       preprocessing-spec
       cram

  .. grid-item::

    .. toctree::
       :maxdepth: 1
       :caption: Concepts

       ../concepts/variables
       ../concepts/dependency-spec
       ../concepts/ocaml-flags
       ../concepts/sandboxing
       ../concepts/locks
       ../concepts/promotion
       ../concepts/package-spec
       aliases

  .. grid-item::

    .. toctree::
       :maxdepth: 1
       :caption: Foreign Code

       foreign-stubs
       foreign-archives
       extra-objects
       foreign-flags
         

  .. grid-item::

    .. toctree::
       :maxdepth: 1
       :caption: Dune Components

       cli
       dune-tools
       ../dune-libs
       caches

  .. grid-item::

    .. toctree::
       :maxdepth: 1
       :caption: Integrations

       ../rocq
       ../coq
       ../rpc
       packages
       findlib
