Bugs: ahelp

This message may be seen when attempting to reindex the ahelp files with "ahelp -r".

Workaround:

Confirm that the directory /data/ciao-4.4/doc/xml (in this case) has write permissions enabled and is owned by the user running the reindexing.

The user who is reindexing the ahelp files has to be the same one that installed the CIAO software. For instance, if you installed CIAO on your laptop as root, then the reindex must also be done by the root user.

The following message is printed when quitting from the pager while viewing a context list in ahelp (ahelp -c <context>):

/soft/ciao/bin/ahelp: line 5: 14093
Broken pipe ${EXE} "$@"