hol88-help binary: file-name-contains-wildcard-character usr/share/hol88-2.02.19940316/help/ENTRIES/*.doc
