; This directory's mld files are included via the parent doc/dune documentation stanza.
; No separate install stanza needed.