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