diff options
author | Colin Watson <cjwatson@debian.org> | 2022-09-25 01:12:01 +0100 |
---|---|---|
committer | Colin Watson <cjwatson@debian.org> | 2022-09-25 01:12:01 +0100 |
commit | 8fe549986ccefff52762933c5a6a9238abfa0ea2 (patch) | |
tree | c46dadb5bbf3a4c81155daeea4fa6d530c1ec8cc /NEWS.md | |
parent | a3d05c4894030ad1f2212b76ce4ec85857c1e64b (diff) |
Don't skip adding a database entry due to SO_MAN
An existing `SO_MAN` entry shouldn't stop us considering a page for
insertion into the database, because until we run `ult_src` we don't yet
know whether that page will be `ULT_MAN` (which should replace the
existing entry) or `SO_MAN` (which shouldn't).
* src/check_mandirs.c (test_manfile): Don't return early due to an
existing matching `SO_MAN` entry, but only due to an `ULT_MAN` entry.
* NEWS.md: Document this.
Diffstat (limited to 'NEWS.md')
-rw-r--r-- | NEWS.md | 2 |
1 files changed, 2 insertions, 0 deletions
@@ -13,6 +13,8 @@ Fixes: the correct type. * Store links in the database using the section and extension of the link rather than of the ultimate source file. + * Only skip adding a page to the database due to an existing entry if the + entry represents an ultimate source. Improvements: |