diff --git a/_doc/settings.xml b/_devops/settings.xml
similarity index 100%
rename from _doc/settings.xml
rename to _devops/settings.xml