Generate RSS feed

build.sh

@@ -2,6 +2,8 @@
 
 rm -rf build
 
+rm -f feed.xml
+
 mkdir build
 
 python3 identify.py
@@ -11,6 +13,8 @@ for i in 20*.org; do
     emacs --batch -l pre.el $i -l export.el -f org-html-export-to-html --kill
 done
 
+python3 rssgen.py
+
 for i in *.html; do
     thebase="${i%%.*}"
     dirname=${thebase//"-"/}
@@ -28,5 +32,7 @@ mv tempfile readme.org
 
 rclone copy build prazevps:/var/www/tre/public/notes -P
 
+rclone copyto feed.xml prazevps:/var/www/tre/public/feed.xml -P
+
 current_date=$(date +"%Y%m%d")
 curl -i -d "source=https://tre.praze.net/notes/$current_date&target=https://fed.brid.gy/" https://fed.brid.gy/webmention