diff --git a/doc/examples/use-case-1.b b/doc/examples/use-case-01.b
similarity index 100%
rename from doc/examples/use-case-1.b
rename to doc/examples/use-case-01.b
diff --git a/doc/examples/use-case-2.b b/doc/examples/use-case-02.b
similarity index 100%
rename from doc/examples/use-case-2.b
rename to doc/examples/use-case-02.b
diff --git a/doc/examples/use-case-3.b b/doc/examples/use-case-03.b
similarity index 100%
rename from doc/examples/use-case-3.b
rename to doc/examples/use-case-03.b
diff --git a/doc/examples/use-case-4.b b/doc/examples/use-case-04.b
similarity index 100%
rename from doc/examples/use-case-4.b
rename to doc/examples/use-case-04.b
diff --git a/doc/examples/use-case-5.b b/doc/examples/use-case-05.b
similarity index 100%
rename from doc/examples/use-case-5.b
rename to doc/examples/use-case-05.b
diff --git a/doc/examples/use-case-6.b b/doc/examples/use-case-06.b
similarity index 100%
rename from doc/examples/use-case-6.b
rename to doc/examples/use-case-06.b
diff --git a/doc/examples/use-case-7.b b/doc/examples/use-case-07.b
similarity index 100%
rename from doc/examples/use-case-7.b
rename to doc/examples/use-case-07.b
diff --git a/doc/examples/use-case-8.b b/doc/examples/use-case-08.b
similarity index 100%
rename from doc/examples/use-case-8.b
rename to doc/examples/use-case-08.b
diff --git a/doc/examples/use-case-9.b b/doc/examples/use-case-09.b
similarity index 100%
rename from doc/examples/use-case-9.b
rename to doc/examples/use-case-09.b