diff --git a/doc/src/0500-lib-module b/doc/src/0500-lib-module.md
similarity index 100%
rename from doc/src/0500-lib-module
rename to doc/src/0500-lib-module.md