diff --git a/doc/intro.noms b/doc/intro.md
similarity index 100%
rename from doc/intro.noms
rename to doc/intro.md