sedit  's:$(prefix)/doc/GtkAda/:$(prefix)/share/doc/gtkada/:'  \
  docs/gtkada_rm/Makefile.in  &&
sedit  's:$(prefix)/doc/GtkAda/:$(prefix)/share/doc/gtkada/:'  \
  docs/gtkada_ug/Makefile.in  &&
OPTS="$OPTS --with-GL-prefix=${INSTALL_ROOT}/usr/X11R6"  &&
make_single    &&
default_build  &&
make_normal
