diff options
Diffstat (limited to 'site/meta.org')
-rw-r--r-- | site/meta.org | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/site/meta.org b/site/meta.org new file mode 100644 index 0000000..d5ce4b4 --- /dev/null +++ b/site/meta.org @@ -0,0 +1,23 @@ +#+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. + +- [[./cleopatra.org][A Series on Generating this Website]] :: + 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. |