Documentation only, koch (#20665)

* Fix doc about Travis CI

* Rerun ci
This commit is contained in:
Juan Carlos
2022-10-27 06:58:35 -03:00
committed by GitHub
parent 3469f37a56
commit 3e7f6562b5

View File

@@ -81,7 +81,7 @@ Boot options:
for bootstrapping
Commands for core developers:
runCI runs continuous integration (CI), e.g. from travis
runCI runs continuous integration (CI), e.g. from Github Actions
docs [options] generates the full documentation
csource -d:danger builds the C sources for installation
pdf builds the PDF documentation