Skip to content

Commit

Permalink
Fix debian manual url fragment
Browse files Browse the repository at this point in the history
  • Loading branch information
RyanGibb committed Oct 9, 2024
1 parent bd5a746 commit 81d5e5a
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 2 deletions.
4 changes: 2 additions & 2 deletions doc/pages/Manual.md
Original file line number Diff line number Diff line change
Expand Up @@ -331,11 +331,11 @@ Here is a full example:
#### Version-ordering

> <a id="version-ordering">**Version Ordering**</a> follows the basics of the
> [Debian definition](https://www.debian.org/doc/debian-policy/ch-controlfields.html#s-f-Version).
> [Debian definition](https://www.debian.org/doc/debian-policy/ch-controlfields.html#s-f-version).
>
> It is basically "lexicographical order, with numbers handled
> properly". In more detail (see the [Debian
> page](https://www.debian.org/doc/debian-policy/ch-controlfields.html#s-f-Version)
> page](https://www.debian.org/doc/debian-policy/ch-controlfields.html#s-f-version)
> for full details):
>
> - Version strings are sliced into alternate, possibly empty non-digit / digit
Expand Down
1 change: 1 addition & 0 deletions master_changes.md
Original file line number Diff line number Diff line change
Expand Up @@ -124,6 +124,7 @@ users)

## Doc
* Update the command to install opam to point to the new simplified url on opam.ocaml.org [#6226 @kit-ty-kate]
* Fix debian manual url fragment [#6231 @RyanGibb]

## Security fixes

Expand Down

0 comments on commit 81d5e5a

Please sign in to comment.