devhelp doesn't find docs; docs should be under /usr/share/docs
Task Info (Flyspray) | |
---|---|
Opened By | Sebastian Wiesner (lunaryorn) |
Task ID | 79860 |
Type | Bug Report |
Project | Arch Linux |
Category | Packages: Extra |
Version | None |
OS | All |
Opened | 2023-10-05 10:17:31 UTC |
Status | Assigned |
Assignee | Jan Alexander Steffens (heftig) |
Details
Description:
Currently, the mutter-docs package ships docs in /usr/share/mutter-12/docs instead of /usr/share/docs/mutter-12, as I'd have expected.
A practical consequence is that Gnome's "devhelp" doesn't find mutter's documentation, because devhelp apparently only searches /usr/share/doc for its devhelp2 index files. As a workaround I'm symlinking mutters docs directories to ~/.local/share/devhelp/books, but ideally that wouldn't be necessary.
Additional info:
- package version(s) 44.5-1
- config and/or log files etc. (n/a)
- link to upstream bug report, if any (packaging bug I presume)
Steps to reproduce: Just install mutter-docs to see that files are at the wrong place. Install devhelp to confirm that e.g. clutter doesn't appear in there, despite mutter-docs including a devhelp2 index file for clutter.