diff --git a/doc/dune-files.rst b/doc/dune-files.rst index f50d4cbc..28fec183 100644 --- a/doc/dune-files.rst +++ b/doc/dune-files.rst @@ -111,7 +111,7 @@ modules you want. - ``(cxx_names ())`` is the same as ``c_names`` but for C++ stubs - ``(install_c_headers ())``, if your library has public C header files - that must be installed, you must list them in this field, with the ``.h`` + that must be installed, you must list them in this field, without the ``.h`` extension - ``(modes )`` modes which should be built by default. The