#!/bin/sh
install-info --section Development Development --quiet /usr/info/gmp.info
