From 87bb9dfe21bf97f4913cce22ae795c67d96c93ba Mon Sep 17 00:00:00 2001 From: dongdigua Date: Sun, 23 Oct 2022 16:54:07 +0800 Subject: [PATCH] rename rss.xml to feed.xml rename rss.xml to feed.xml! --- index.html | 2 +- org/publish_config.el | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/index.html b/index.html index 1062b17..fc5fa15 100644 --- a/index.html +++ b/index.html @@ -26,7 +26,7 @@
 (let ((name "dongdigua")
       (blog "posts/")
-      (feed "rss.xml")
+      (feed "feed.xml")
       (github "@dongdigua")
       (payment "monero")
       (pgp "0x56CEE157C9F5334F")
diff --git a/org/publish_config.el b/org/publish_config.el
index 33ebf9e..642baf7 100644
--- a/org/publish_config.el
+++ b/org/publish_config.el
@@ -63,7 +63,7 @@
      (org-publish-all)
 
      (webfeeder-build
-      "rss.xml"
+      "feed.xml"
       "./../"
       "https://dongdigua.github.io"
       (delete "index.html" (directory-files "./../" nil ".*\.html$"))