diff --git a/documentation/users_guide.pdf b/documentation/users_guide_4.2.pdf
similarity index 100%
rename from documentation/users_guide.pdf
rename to documentation/users_guide_4.2.pdf