Commit9ded212

authored

lint.sh: check if sphinx-lint is installed

1 parentdc860d1 commit9ded212Copy full SHA for 9ded212

File tree

-0

lines changed

-0

lines changed

Lines changed: 3 additions & 0 deletions

Original file line number	Diff line number	Diff line change
`@@ -8,6 +8,9 @@ set -xeu`
`8`	`8`	`# Fail earlier if required variables are not set`
`9`	`9`	`test -n${PYDOC_LANGUAGE+x}`
`10`	`10`
	`11`	`+# Fail earlier if sphinx-lint is not installed`
	`12`	`+sphinx-lint --help>/dev/null`
	`13`	`+`
`11`	`14`	`rootdir=$(realpath$(dirname$0)/..)`
`12`	`15`
`13`	`16`	`cd"$rootdir"`

Comments

(0)