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

