#! /bin/sh
install-info --quiet --section "REPLACE-WITH-SECTION" "REPLACE-WITH-SECTION" \
 /usr/info/REPLACE-WITH-NAME.info.gz