docs: added docs command & notice in README

This commit is contained in:
Jef Roosens 2022-04-29 10:34:12 +02:00
parent 5287067ea7
commit 11ac3c0470
Signed by untrusted user: Jef Roosens
GPG key ID: B75D4F293C7052DB
3 changed files with 13 additions and 2 deletions

3
.gitignore vendored
View file

@ -23,3 +23,6 @@ v/
# gdb log file
gdb.txt
# Generated docs
_docs/