#!/bin/sh
# set -e
# install-info --quiet --description="Debian GNU/Linux PFs" \
#  --section "Information" "Information" /usr/info/debian-faq-es.info.gz
