#!/bin/sh case "$1" in --report|-r|--version|-qV|--quiet-version|--help) : # nothing to do here ;; *) [ dist/plugins-cfg/plugins.def.cfg -nt ./plugins.cfg ] && rm -f plugins.cfg ./configure-plugins $* ;; esac