#!/bin/sh if [ $(whoami) = ds ] ; then confflags="--enable-gtk-doc" else confflags="--enable-gtk-doc" fi set -e autoreconf -i -f if [ -z "$NOCONFIGURE" ]; then ./configure --enable-maintainer-mode --disable-static $confflags $@ fi