diff options
| author | Jim Davis <jim.epost@gmail.com> | 2017-02-10 19:06:50 -0500 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2017-02-12 17:21:25 -0500 |
| commit | c33dea1eda7159f6854dcb54e58906936c26e727 (patch) | |
| tree | 9aeb77b45dc152803c727ddb27ac0ecc4920bbcc | |
| 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>
| -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 | |||
| 98 | 98 | ||
| 99 | # no-ops for the Sphinx toolchain | 99 | # no-ops for the Sphinx toolchain |
| 100 | sgmldocs: | 100 | sgmldocs: |
| 101 | @: | ||
| 101 | psdocs: | 102 | psdocs: |
| 103 | @: | ||
| 102 | mandocs: | 104 | mandocs: |
| 105 | @: | ||
| 103 | installmandocs: | 106 | installmandocs: |
| 107 | @: | ||
| 104 | 108 | ||
| 105 | cleandocs: | 109 | cleandocs: |
| 106 | $(Q)rm -rf $(BUILDDIR) | 110 | $(Q)rm -rf $(BUILDDIR) |