diff options
| author | Théo Zimmermann | 2019-05-14 13:49:00 +0200 |
|---|---|---|
| committer | Théo Zimmermann | 2019-05-22 20:09:33 +0200 |
| commit | 056d1c3a9f5e220c2ad9877c87a559fc454b7d0f (patch) | |
| tree | 88f7a839ca6aae38234292b77b0ea60870372db8 /test-suite/dune | |
| parent | 4d8a64fd4445e6a1d6a76243199f674624fa9a75 (diff) | |
Fix dependencies of new test file.
Diffstat (limited to 'test-suite/dune')
| -rw-r--r-- | test-suite/dune | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/test-suite/dune b/test-suite/dune index cd33319fa4..041c181d66 100644 --- a/test-suite/dune +++ b/test-suite/dune @@ -22,6 +22,7 @@ ../doc/stdlib/index-list.html.template ; For the changelog test ../config/coq_config.py + (source_tree doc/changelog) (package coq) ; For fake_ide (package coqide-server) |