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