debian/mygui-doc.docs
Platforms/OpenGL/OpenGLPlatform/include/GL/*
