diff --git a/docs-mini/README.xml b/docs-mini/README.xmlsyntax
similarity index 100%
rename from docs-mini/README.xml
rename to docs-mini/README.xmlsyntax