diff --git a/doc/disco1.md b/doc/disco-1.md
similarity index 100%
rename from doc/disco1.md
rename to doc/disco-1.md