On 24 Nov, RH reported that AI 031105/1 (RH to discuss with Peer Zaal HIFIs problems with organising their documentation from the JIDE help facility) closed with the following input:
During my visit to SRON 21-23 Nov I discussed this issue with Peer and explained how he can adopt the javaHelp system files (jhelpset, jhelpmap, jhelptoc) to statically change the structure of the HIFI on-line documentation. We worked out a simple example for the QLA user manual.