Add doc for config file

[nojb]

Fixes #5493

Moreover, the "man" page for dune-config(5) is terribly out-of-date and does not seem very pratical to have the information in two places (the manual and the man page). Since we don't document any other Dune file format in man page format, shall we get rid of the dune-config(5) man page?

[christinerose]

Mostly grammar & formatting.
I’ve questions about the subheadings. If they’re commands or files, like config, it is possible to show them in monospace in the heading? If so, that’s best for clarify. If not, perhaps consider capitalizing them, like Concurrency, etc.

[nojb]

Mostly grammar & formatting.

Thanks. I committed all suggestions.

I’ve questions about the subheadings. If they’re commands or files, like config, it is possible to show them in monospace in the heading? If so, that’s best for clarify. If not, perhaps consider capitalizing them, like Concurrency, etc.

I switched them to code style.

[nojb]

@christinerose could you please give a formal approval if you are happy with the current state of the PR? Thanks!

[Alizter]

I don't think I like the location of the configuration documentation here. I think it would be better for it to come near the end of dune-files.rst since this otherwise it is the first thing that will be seen in the stanza reference manual. It is an opt-in and not essential to most users. So it should be:

• dune project
• dune
• dune workspace
• dune config

[Alizter]

How about:

prints a line for each program executed with the binary name on the left and the targets of the action on the right.

[christinerose]

Suggested change

	- ``verbose`` prints the full command lines of programs being executed by Dune,
	- ``verbose`` prints the full command lines of programs executed by Dune,

(looking to tighten syntax a little, but it's fine the way it is if you prefer)

[christinerose]

Or...

prints a line for each program executed with the binary name on the left and the action targets on the right

???

It's also fine the way it is if you prefer. Just looking to tighten syntax where possible and minimize passive voice. :)

[christinerose]

@christinerose could you please give a formal approval if you are happy with the current state of the PR? Thanks!

So sorry for the delay! Approved now.

[nojb]

I don't think I like the location of the configuration documentation here. I think it would be better for it to come near the end of dune-files.rst since this otherwise it is the first thing that will be seen in the stanza reference manual. It is an opt-in and not essential to most users. So it should be:

Thanks for the detailed comments @Alizter! I implemented all of your recommendations. Do you mind giving a formal approval (if you are happy with the state of the PR)?

[Alizter]

Looking good. Some more comments.

[Alizter]

Suggested change

	This file is used to set global configuration of Dune (applicable across
	This file is used to set the global configuration of Dune (applicable across

[nojb]

Fixed.

[nojb]

Looking good. Some more comments.

Thanks @Alizter! I amended as per your comments and will merge once CI passes.

[Alizter]

This appears to be made up. We should have called this jobs.