coqPackages: doc

[CohenCyril]

Motivation for this change

Changing bullet style to fix the rendering
cf #105877 (comment)

Things done

• Tested using sandboxing (nix.useSandbox on NixOS, or option sandbox in nix.conf on non-NixOS linux)
• Built on platform(s)
  • NixOS
  • macOS
  • other Linux distributions
• Tested via one or more NixOS test(s) if existing and applicable for the change (look inside nixos/tests)
• Tested compilation of all pkgs that depend on this change using nix-shell -p nixpkgs-review --run "nixpkgs-review wip"
• Tested execution of all binary files (usually in ./result/bin/)
• Determined the impact on package closure size (by running nix path-info -S before and after)
• Ensured that relevant documentation is up to date
• Fits CONTRIBUTING.md.

[siraben]

You can test to see if this worked by running this in your checkout of Nixpkgs.

$ cd doc
$ nix-build && nix-shell -p python3 --run 'python3 -m http.server --directory ./result/share/doc/nixpkgs'

For me it still renders incorrectly.

[siraben]

You may want to change the type of list using the admonitions added by @jtojnar used for instance in the markdown version of the cross-compilation chapter.

`system`

: This is a two-component shorthand for the platform. Examples of this would be "x86_64-darwin" and "i686-linux"; see `lib.systems.doubles` for more. The first component corresponds to the CPU architecture of the platform and the second to the operating system of the platform (`[cpu]-[os]`). This format has built-in support in Nix, such as the `builtins.currentSystem` impure string.

`config`

: This is a 3- or 4- component shorthand for the platform. Examples of this would be `x86_64-unknown-linux-gnu` and `aarch64-apple-darwin14`. This is a standard format called the "LLVM target triple", as they are pioneered by LLVM. In the 4-part form, this corresponds to `[cpu]-[vendor]-[os]-[abi]`. This format is strictly more informative than the "Nix host double", as the previous format could analogously be termed. This needs a better name than `config`!

`parsed`

: This is a Nix representation of a parsed LLVM target triple with white-listed components. This can be specified directly, or actually parsed from the `config`. See `lib.systems.parse` for the exact representation.

This renders as

@ryantm do you think this is appropriate?

[jtojnar]

You would likely need an empty line between the paragraph and the list item. This is why I prefer Docbook over Markdown 😆

[CohenCyril]

I don't understand, despite this PR, https://nixos.org/manual/nixpkgs/unstable/#sec-language-coq is still broken...

[jtojnar]

Perhaps it did not update yet? You can test it locally by running nix-build pkgs/top-level/release.nix -A manual in the nixpkgs directory.