diff options
author | Benjamin Brahmer <info@b-brahmer.de> | 2021-05-08 14:34:58 +0200 |
---|---|---|
committer | Benjamin Brahmer <info@b-brahmer.de> | 2021-05-19 14:58:29 +0200 |
commit | 79e469fd335133671185cf8539f77ef38ac3b4e6 (patch) | |
tree | 4e2b7075e85225c9ac93cf78c7ef1e95b78e5ac4 /.gitignore | |
parent | 271b6ee3c993264bd44a966b82f1a5daa85f53ab (diff) |
Refactor News documentation with mkdocs and mkdocs-material
- move all pages to new structure
- use gh-pages to host html version
- use github actions for automatic build
Co-authored-by: anoy <anoymouserver+github@mailbox.org>
Signed-off-by: Benjamin Brahmer <info@b-brahmer.de>
Diffstat (limited to '.gitignore')
-rw-r--r-- | .gitignore | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore index 89b9ac989..44cf6f335 100644 --- a/.gitignore +++ b/.gitignore @@ -10,6 +10,7 @@ js/*.xml .rvm *.clover .phpunit.result.cache +site/ # python PKG-INFO |