diff options
| author | Jim Davis <jim.epost@gmail.com> | 2017-02-10 17:06:50 -0700 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2017-02-12 15:21:25 -0700 |
| commit | c33dea1eda7159f6854dcb54e58906936c26e727 (patch) | |
| tree | 9aeb77b45dc152803c727ddb27ac0ecc4920bbcc /Documentation/dev-tools | |
| parent | 9210501f475a2f33e59254bcae5fd1542b64f421 (diff) | |
Documentation: make Makefile.sphinx no-ops quieter
Silence the "make[1]: Nothing to be done for ..." messages for the
no-op targets in Makefile.sphinx.
Signed-off-by: Jim Davis <jim.epost@gmail.com>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'Documentation/dev-tools')
0 files changed, 0 insertions, 0 deletions