more doc-neatens for percentiles on-line help

This commit is contained in:
John Kerl 2023-08-26 16:41:37 -04:00
parent 4cfb0ba112
commit 077fc3702d
3 changed files with 29 additions and 15 deletions

View file

@ -98,7 +98,8 @@ dev:
make -C docs
@echo DONE
docs:
docs: build
make -C docs/src forcebuild
make -C docs
# ----------------------------------------------------------------