Skip to content

Commit

Permalink
re_export dune-section in dune-site stanza
Browse files Browse the repository at this point in the history
Signed-off-by: HasanA <[email protected]>
  • Loading branch information
MA0010 committed Jun 17, 2024
1 parent 987e1f1 commit e30ce41
Showing 1 changed file with 3 additions and 1 deletion.
4 changes: 3 additions & 1 deletion otherlibs/dune-site/src/dune
Original file line number Diff line number Diff line change
Expand Up @@ -6,6 +6,8 @@
(special_builtin_support
(dune_site
(data_module dune_site_data)))
(libraries dune-private-libs.dune-section dune-site.private)
(libraries
(re_export dune-private-libs.dune-section)
dune-site.private)
(instrumentation
(backend bisect_ppx)))

0 comments on commit e30ce41

Please sign in to comment.