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