diff --git a/man/oz-examples.1 b/man/oz-examples.5 similarity index 100% rename from man/oz-examples.1 rename to man/oz-examples.5