diff --git a/rfc/fetch.sh b/rfc/fetch.sh
index aa17b7a..3c7de97 100755
--- a/rfc/fetch.sh
+++ b/rfc/fetch.sh
@@ -1,11 +1,11 @@
 #!/bin/sh
-for number in $(sed -n 's/^\([0-9][0-9]*\)[ \t].*$/\1/p' index.md); do
+for number in $(sed -n 's/^\([0-9][0-9]*\)[ \t].*$/\1/p' index.txt); do
 	if ! test -f "$number"; then
 		curl https://www.rfc-editor.org/rfc/rfc$number.txt >$number || rm $number
 	fi
 done
 
-for name in $(sed -n 's/^\([0-9][0-9]*-eid[0-9][0-9]*\)[ \t].*$/\1/p' index.md); do
+for name in $(sed -n 's/^\([0-9][0-9]*-eid[0-9][0-9]*\)[ \t].*$/\1/p' index.txt); do
 	if ! test -f "$name"; then
 		rfc=$(echo $name | cut -f1 -d-)
 		eid=$(echo $name | cut -f2 -d-)
diff --git a/rfc/index.md b/rfc/index.txt
similarity index 100%
rename from rfc/index.md
rename to rfc/index.txt