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