diff --git a/doc/LICENSE b/doc/LICENSE.txt similarity index 100% rename from doc/LICENSE rename to doc/LICENSE.txt