From c94f7afe765db97704ffbc1f1a9958923ebc2c9d Mon Sep 17 00:00:00 2001 From: dongdigua Date: Fri, 21 Oct 2022 20:42:10 +0800 Subject: [PATCH] accidentally deleted index, restore it and fix Makefile --- index.html | 42 ++++++++++++++++++++++++++++++++++++++++++ org/Makefile | 2 +- 2 files changed, 43 insertions(+), 1 deletion(-) create mode 100644 index.html diff --git a/index.html b/index.html new file mode 100644 index 0000000..dbf8c9a --- /dev/null +++ b/index.html @@ -0,0 +1,42 @@ + + + + +d0ngd1gua + + + + + + +
+
+(let ((name "dongdigua")
+      (blog "posts/")
+      (feed "rss.xml")
+      (github "@dongdigua")
+      (payment "monero")
+      (pgp "0x56CEE157C9F5334F")
+      (interests
+       '("computer science"
+         "cyber security"
+         "Minecraft redstone survival"
+         "anime"
+         (Lost (In (Superfluous (Parentheses))))))))
+    
+
+ + diff --git a/org/Makefile b/org/Makefile index c582d02..fd0fa50 100644 --- a/org/Makefile +++ b/org/Makefile @@ -12,5 +12,5 @@ html: clean: rm ./../org_html/*.html rm ~/.org-timestamps/org-pages.cache - rm ./../*.html* + ls ../*.html* | grep -v "index.html" | xargs -I {} rm {} rm ./../*.xml*