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/Makefile.sphinx | |
| 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/Makefile.sphinx')
| -rw-r--r-- | Documentation/Makefile.sphinx | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Documentation/Makefile.sphinx b/Documentation/Makefile.sphinx index 48b2b0241a3a..8284f3d1b022 100644 --- a/Documentation/Makefile.sphinx +++ b/Documentation/Makefile.sphinx @@ -98,9 +98,13 @@ endif # HAVE_SPHINX # no-ops for the Sphinx toolchain sgmldocs: + @: psdocs: + @: mandocs: + @: installmandocs: + @: cleandocs: $(Q)rm -rf $(BUILDDIR) |