diff --git a/docs/books/programming-with-interaction-nets/src/intro.md b/docs/books/programming-with-interaction-nets/src/01-intro.md similarity index 100% rename from docs/books/programming-with-interaction-nets/src/intro.md rename to docs/books/programming-with-interaction-nets/src/01-intro.md