From 061998b6db89480629ad41d33295a97f8ad84719 Mon Sep 17 00:00:00 2001
From: Emilio Jesus Gallego Arias
Date: Tue, 11 Jun 2019 03:49:31 +0200
Subject: [dune] [opam] Generate opam files automatically using Dune.

- closes #12376 : dune version is now consistent as suggested
- cc #12858 : coqide and coqide-server do no depend on ocamlfind
  when built this way.
- closes #13372 : more precision in the license identifier
---
 dev/doc/build-system.dune.md | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'dev')

diff --git a/dev/doc/build-system.dune.md b/dev/doc/build-system.dune.md
index 8b0bf216e3..de3d5a3d15 100644
--- a/dev/doc/build-system.dune.md
+++ b/dev/doc/build-system.dune.md
@@ -175,6 +175,12 @@ local copy of Coq. For this purpose, Dune supports the `-p` option, so
 version of Coq libs, and use a "release" profile that for example
 enables stronger compiler optimizations.
 
+## OPAM file generation
+
+`.opam` files are automatically generated by Dune from the package
+descriptions in the `dune-project` file; see Dune's manual for more
+details.
+
 ## Stanzas
 
 `dune` files contain the so-called "stanzas", that may declare:
-- 
cgit v1.2.3