#!/bin/bash set -e 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}"