improve ./koch docs (#16991)

* improve ./koch docs

* fixup

* fixup
This commit is contained in:
Timothee Cour 2021-02-10 03:12:31 -08:00 • committed by GitHub
commit a1203cf848
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
2 changed files with 25 additions and 28 deletions

2
.gitignore vendored
View file

@ -30,7 +30,7 @@ deinstall.sh
doc/html/
doc/*.html
doc/*.pdf
doc/pdf
doc/*.idx
/web/upload
/build/*