diff options
Diffstat (limited to 'docs/README.org')
-rw-r--r-- | docs/README.org | 7 |
1 files changed, 0 insertions, 7 deletions
diff --git a/docs/README.org b/docs/README.org deleted file mode 100644 index 4113ed9..0000000 --- a/docs/README.org +++ /dev/null @@ -1,7 +0,0 @@ -#+title: Vericert Documentation - -The documentation for [[https://github.com/ymherklotz/vericert][Vericert]], which is written in the [[/documentation.org][documentation.org]] file. - -* How to develop on documentation - -The documentation uses =hugo= to generate the website, |