. /etc/profile.d/x11r7.rc &&

OPTS="--disable-devel-docs"

default_build
