Use @direntry instead of hard-coding START-INFO-DIR-ENTRY inside @ifinfo.