#!/bin/sh -e patch -p1 < pager.patch cat > configure.local <