diff --git a/manual/LICENSE b/manual/LICENSE-for-the-manual
similarity index 100%
rename from manual/LICENSE
rename to manual/LICENSE-for-the-manual