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.
That link appears to be dead. Here is one I found that works: source - Dune documentation
Could you share where you found this link? We should make sure it is updated.
I’m afraid I don’t remember. But most likely I just managed to find it by searching the docs site, in which case there’s presumably nothing to update.