diff options
Diffstat (limited to 'site/posts/meta.org')
-rw-r--r-- | site/posts/meta.org | 16 |
1 files changed, 16 insertions, 0 deletions
diff --git a/site/posts/meta.org b/site/posts/meta.org new file mode 100644 index 0000000..f6c1de5 --- /dev/null +++ b/site/posts/meta.org @@ -0,0 +1,16 @@ +#+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. + +- [[./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. |