diff options
author | Thomas Letan <lthms@soap.coffee> | 2022-10-23 13:13:09 +0200 |
---|---|---|
committer | Thomas Letan <lthms@soap.coffee> | 2022-10-23 13:13:09 +0200 |
commit | 05617fad8255248ee8ac8796e40a99529e1c8e8c (patch) | |
tree | c367a6a316b49b82d52d066e3c8bb4e5e5e6f625 /site/meta.org | |
parent | Refine the theme to be more readable (diff) |
Website reorg
Diffstat (limited to 'site/meta.org')
-rw-r--r-- | site/meta.org | 16 |
1 files changed, 0 insertions, 16 deletions
diff --git a/site/meta.org b/site/meta.org deleted file mode 100644 index 77ef792..0000000 --- a/site/meta.org +++ /dev/null @@ -1,16 +0,0 @@ -#+TITLE: About this Website - -#+SERIES: ./index.html -#+SERIES_PREV: miscellaneous.html - -The generation of this website is far from being trivial, and requires -the combination of —probably too— many tools. For instance, even if I -mostly use Org mode for authoring content, most of my write-ups about -Coq are actually Coq files, and I use ~coqdoc~ to generate the HTML -pages you read. - -- [[./posts/Thanks.org][Thanks!]] :: - This website could not exist without many awesome free software - 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. |