Merge branch 'topic/gl' into 'master'

Remove cleanup of file, it is not used anymore.

See merge request eng/ide/gtkada!4

Author: godunko

Makefile.in

@@ -147,7 +147,6 @@ mostlyclean-generic: clean-generic
 
 clean/%: force
 	-gprclean -r -q -XLIBRARY_TYPE=$(@F) -Psrc/tools/tools.gpr
-	-gprclean -r -q -XLIBRARY_TYPE=$(@F) -Psrc/opengl/gtkada_gl.gpr
 	-gprclean -r -q -XLIBRARY_TYPE=$(@F) -Ptestgtk/testgtk.gpr
 	-gprclean -r -q -XLIBRARY_TYPE=$(@F) -Psrc/gtkada.gpr