The jokosher help files are contained in the Jokosher package, so they are installed already. However they are not being properly registered with the gnome help browser.
The jokosher help files are contained in the Jokosher package, so they are installed already. However they are not being properly registered with the gnome help browser.