From 52e71167a93101cb687c5fcb7683d3c5a8b54ac6 Mon Sep 17 00:00:00 2001
From: Mechiel Lukkien <mechiel@ueber.net>
Date: Thu, 12 Oct 2023 23:15:35 +0200
Subject: [PATCH] rename rfc/index.md to txt, it isn't markdown
---
rfc/fetch.sh | 4 ++--
rfc/{index.md => index.txt} | 0
2 files changed, 2 insertions(+), 2 deletions(-)
rename rfc/{index.md => index.txt} (100%)
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