myk002 837215ea64 modify ci/script-docs.py to read new doc locations		2022-07-20 16:28:11 -07:00
..
authors-rst.py	…
build-lua.sh	…
buildmaster-rebuild-pr.py	…
check-rpc.py	…
download-df.sh	…
get-df-version.sh	…
lint-check.txt	…
lint-ignore.txt	…
lint.py	…
run-tests.py	…
script-docs.py	…
script-syntax.py	…
test.lua	…
update-submodules.bash	…
update-submodules.manifest	…