info/jgnat_ug.info info/jgnat_ug.info-1 info/jgnat_ug.info-2 info/jgnat_ug.info-3 @unexec install-info --delete %D/info/jgnat_ug.info %D/info/dir @exec install-info --section="%%SEC_LABEL%%" --entry="%%UG_LABEL%%" %D/info/jgnat_ug.info %D/info/dir