include/gmp.h
lib/libgmp.a
lib/libgmp.so
lib/libgmp.so.4
@unexec install-info --delete %D/info/gmp %D/info/dir
info/gmp.info
info/gmp.info-1
info/gmp.info-2
info/gmp.info-3
info/gmp.info-4
@exec install-info %D/info/gmp %D/info/dir
