diff --git a/doc/UsersGuide/Basic.Lean b/doc/UsersGuide/Basic.lean
similarity index 100%
rename from doc/UsersGuide/Basic.Lean
rename to doc/UsersGuide/Basic.lean