From 64b3b0e384d9857c1a18f2faa6eca6f181cd31da Mon Sep 17 00:00:00 2001 From: Xavier Clerc Date: Tue, 10 Jul 2018 12:18:48 +0100 Subject: [PATCH] Fix the doc for `install_c_headers`. Signed-off-by: Xavier Clerc --- doc/dune-files.rst | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) 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