#!/bin/bash sed -i 's/extras//' Makefile.in ./configure --prefix=/usr make make -j1 install mkdir -v /usr/share/doc/gawk-"${VERSION}" cp -v doc/{awkforai.txt,*.{eps,pdf,jpg}} /usr/share/doc/gawk-"${VERSION}"