| commit | 6c01edd395a7cc7bb82333e953992eb0e76b1c35 | [log] [tgz] |
|---|---|---|
| author | Jonathan Corbet <corbet@lwn.net> | Fri May 31 10:02:11 2019 -0600 |
| committer | Jonathan Corbet <corbet@lwn.net> | Fri May 31 10:02:11 2019 -0600 |
| tree | c51ec2b74f9ee75413bffe54d17ebf9d5ea53dfe | |
| parent | a700767a7682d9bd237e927253274859aee075e7 [diff] |
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>