diff --git a/doc/extensions b/doc/c-extensions
similarity index 100%
rename from doc/extensions
rename to doc/c-extensions