info/arm95.info info/arm95.info-1 info/arm95.info-10 info/arm95.info-11 info/arm95.info-12 info/arm95.info-13 info/arm95.info-14 info/arm95.info-15 info/arm95.info-16 info/arm95.info-17 info/arm95.info-18 info/arm95.info-19 info/arm95.info-2 info/arm95.info-20 info/arm95.info-21 info/arm95.info-22 info/arm95.info-23 info/arm95.info-24 info/arm95.info-25 info/arm95.info-26 info/arm95.info-27 info/arm95.info-28 info/arm95.info-29 info/arm95.info-3 info/arm95.info-30 info/arm95.info-31 info/arm95.info-32 info/arm95.info-33 info/arm95.info-34 info/arm95.info-35 info/arm95.info-36 info/arm95.info-37 info/arm95.info-38 info/arm95.info-39 info/arm95.info-4 info/arm95.info-40 info/arm95.info-41 info/arm95.info-42 info/arm95.info-43 info/arm95.info-5 info/arm95.info-6 info/arm95.info-7 info/arm95.info-8 info/arm95.info-9 info/gcc.info info/gcc.info-1 info/gcc.info-10 info/gcc.info-11 info/gcc.info-12 info/gcc.info-13 info/gcc.info-14 info/gcc.info-2 info/gcc.info-3 info/gcc.info-4 info/gcc.info-5 info/gcc.info-6 info/gcc.info-7 info/gcc.info-8 info/gcc.info-9 info/gdb.info info/gdb.info-1 info/gdb.info-2 info/gdb.info-3 info/gdb.info-4 info/gdb.info-5 info/gdb.info-6 info/gdb.info-7 info/gdb.info-8 info/gdb.info-9 info/gnat_rm.info info/gnat_rm.info-1 info/gnat_rm.info-2 info/gnat_rm.info-3 info/gnat_rm.info-4 info/gnat_rm.info-5 info/gnat_rm.info-6 info/gnat_rm.info-7 info/gnat_rm.info-8 info/gnat_rm.info-9 info/gnat_ug.info info/gnat_ug.info-1 info/gnat_ug.info-2 info/gnat_ug.info-3 info/gnat_ug.info-4 info/gnat_ug.info-5 info/gnat_ug.info-6 info/gnat_ug.info-7 info/gnat_ug.info-8 info/gnat_ug.info-9 info/gvd.info @unexec install-info --delete %D/info/arm95.info %D/info/dir @exec install-info --section="%%SEC_LABEL%%" --entry="%%ARM_LABEL%%" %D/info/arm95.info %D/info/dir @unexec install-info --delete %D/info/gcc.info %D/info/dir @exec install-info --section="%%SEC_LABEL%%" --entry="%%GCC_LABEL%%" %D/info/gcc.info %D/info/dir @unexec install-info --delete %D/info/gnat_rm.info %D/info/dir @exec install-info --section="%%SEC_LABEL%%" --entry="%%RM_LABEL%%" %D/info/gnat_rm.info %D/info/dir @unexec install-info --delete %D/info/gnat_ug.info %D/info/dir @exec install-info --section="%%SEC_LABEL%%" --entry="%%UG_LABEL%%" %D/info/gnat_ug.info %D/info/dir