diff --git a/mathlib/include/GPLv2.MD b/GPLv2.MD
similarity index 100%
rename from mathlib/include/GPLv2.MD
rename to GPLv2.MD
diff --git a/mathlib/include/LICENSE.MD b/LICENSE.MD
similarity index 100%
rename from mathlib/include/LICENSE.MD
rename to LICENSE.MD