Skip to content

Comments

Manual pages installation#458

Merged
dhdaines merged 4 commits intocmusphinx:mainfrom
gkarsay:main
Feb 23, 2026
Merged

Manual pages installation#458
dhdaines merged 4 commits intocmusphinx:mainfrom
gkarsay:main

Conversation

@gkarsay
Copy link
Contributor

@gkarsay gkarsay commented Jan 24, 2026

While helping to package pocketsphinx 5 for Debian I encountered a few problems regarding manual pages, mainly that the names of manual pages and executables don't match. This merge request tries to solve those issues. Except for one and that is a missing manual page for pocketsphinx_jsgf2fsg.

@dhdaines
Copy link
Contributor

Hi! Sorry for the late reply on this, definitely seems like those man pages needed to be updated (it's unfortunate that we can't generate them automatically somehow).

@dhdaines dhdaines merged commit 86d8be3 into cmusphinx:main Feb 23, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Development

Successfully merging this pull request may close these issues.

2 participants