summaryrefslogtreecommitdiffstats
path: root/site
diff options
context:
space:
mode:
authorThomas Letan <lthms@soap.coffee>2022-08-13 22:17:31 +0200
committerThomas Letan <lthms@soap.coffee>2022-08-13 22:17:31 +0200
commit733f059c578f834424b9fcb96122ae677fb9b2db (patch)
tree7772f831941c69b2493059baebffda2bcec80df6 /site
parentFix the link in the coqffi tutorial by adding a new class of url (diff)
Hide cleapatra series for now
Diffstat (limited to 'site')
-rw-r--r--site/meta.org9
1 files changed, 0 insertions, 9 deletions
diff --git a/site/meta.org b/site/meta.org
index b1f50b9..77ef792 100644
--- a/site/meta.org
+++ b/site/meta.org
@@ -14,12 +14,3 @@ pages you read.
projects. Although I could not list them all even if I wanted, my
desire is at least to try keeping up-to-date a curated description
of the most significant ones.
-
-- [[./cleopatra.org][An Unfinished Series on How This Static Website Used to be Generated]] ::
- At some point, I felt like the whole process of generating this
- website was interesting enough so that it would deserve a write-up
- of its own. As a result, I spent quite some time turning my custom
- toolchain into a literate program, so that its actual code source
- would actually be the write-ups I wanted to add to my website. I
- don’t use said toolchain anymore, but the article remains, though
- they are doomed to become more and more outdated.