diff options
author | Jani Nikula <jani.nikula@intel.com> | 2016-07-01 15:03:34 +0300 |
---|---|---|
committer | Jonathan Corbet <corbet@lwn.net> | 2016-07-01 16:15:31 -0600 |
commit | a569bf69f069a86a6914453cc1ab5371d173caf1 (patch) | |
tree | 47ccdbb3be42fa3a299e761eceb654fd91415d9f /Documentation/Makefile.sphinx | |
parent | 19abdb15f3c781565f375db2e13d6c9f8bcbb561 (diff) |
Documentation: add cleanmediadocs to the documentation targets
This was broken when updating the documentation targets for the Sphinx
build, and moving from %docs target pattern to explicitly listed
targets.
Cc: Markus Heiser <markus.heiser@darmarit.de>
Cc: Mauro Carvalho Chehab <mchehab@osg.samsung.com>
Fixes: 22cba31bae9d ("Documentation/sphinx: add basic working Sphinx configuration and build")
Signed-off-by: Jani Nikula <jani.nikula@intel.com>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'Documentation/Makefile.sphinx')
-rw-r--r-- | Documentation/Makefile.sphinx | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Documentation/Makefile.sphinx b/Documentation/Makefile.sphinx index 810c11f0d37f..6c203745b6c6 100644 --- a/Documentation/Makefile.sphinx +++ b/Documentation/Makefile.sphinx @@ -56,6 +56,7 @@ sgmldocs: psdocs: mandocs: installmandocs: +cleanmediadocs: cleandocs: $(Q)rm -rf $(BUILDDIR) |