diff options
| author | Jonathan Corbet <[email protected]> | 2019-05-31 16:02:11 +0000 |
|---|---|---|
| committer | Jonathan Corbet <[email protected]> | 2019-05-31 16:02:11 +0000 |
| commit | 6c01edd395a7cc7bb82333e953992eb0e76b1c35 (patch) | |
| tree | c51ec2b74f9ee75413bffe54d17ebf9d5ea53dfe /scripts/documentation-file-ref-check | |
| parent | docs: requirements.txt: recommend Sphinx 1.7.9 (diff) | |
| download | kernel-6c01edd395a7cc7bb82333e953992eb0e76b1c35.tar.gz kernel-6c01edd395a7cc7bb82333e953992eb0e76b1c35.zip | |
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 <[email protected]>
Diffstat (limited to 'scripts/documentation-file-ref-check')
0 files changed, 0 insertions, 0 deletions