#!/bin/sh set -e install-info --quiet --section "General Commands" "General Commands:" \ /usr/share/info/wdiff.info