tree c51ec2b74f9ee75413bffe54d17ebf9d5ea53dfe
parent a700767a7682d9bd237e927253274859aee075e7
author Jonathan Corbet <corbet@lwn.net> 1559318531 -0600
committer Jonathan Corbet <corbet@lwn.net> 1559318531 -0600

docs: look for sphinx-pre-install in the source tree

Recent makefile changes included an invocation of
./scripts/sphinx-pre-install.  Unfortunately, that fails when a separate
build directory is in use with:

  /bin/bash: ./scripts/sphinx-pre-install: No such file or directory

Use $(srctree) to fully specify the location of this script.

Signed-off-by: Jonathan Corbet <corbet@lwn.net>