FS#79860 - [mutter-docs] devhelp doesn't find docs; docs should be under /usr/share/docs

Attached to Project: Arch Linux
Opened by Sebastian Wiesner (lunaryorn) - Thursday, 05 October 2023, 10:17 GMT
Last edited by Buggy McBugFace (bugbot) - Saturday, 25 November 2023, 20:20 GMT
Task Type Bug Report
Category Packages: Extra
Status Closed
Assigned To Jan Alexander Steffens (heftig)
Architecture All
Severity Low
Priority Normal
Reported Version
Due in Version Undecided
Due Date Undecided
Percent Complete 100%
Votes 1
Private No

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.
This task depends upon

Closed by  Buggy McBugFace (bugbot)
Saturday, 25 November 2023, 20:20 GMT
Reason for closing:  Moved
Additional comments about closing:  https://gitlab.archlinux.org/archlinux/p ackaging/packages/mutter/issues/1
Comment by Toolybird (Toolybird) - Thursday, 05 October 2023, 23:03 GMT

Loading...