Source setting in dune

I used dune init to start a new project. That gave me a top-level dune-project file, containing among other things

(source
 (github username/reponame))

Since I don’t wish to host the project on Github, I have to change this, but I don’t know how, because the source tag is not documented (at least not in the stable version of the doc, in the stanza reference chapter where it would belong).

Thanks for the hint!


Ian

I believe it is documented under the generate_opam_files stanza: Stanza Reference — dune documentation

Yes, thank you. I had only looked at the direct subnodes of the dune-project chapter.