diff options
| author | Takashi Iwai <tiwai@suse.de> | 2014-10-21 18:18:12 +0200 |
|---|---|---|
| committer | Jonathan Corbet <corbet@lwn.net> | 2014-10-22 11:50:30 -0400 |
| commit | 0684d84ce0e2f694a7818c16cb0c5c00c4ed7cb8 (patch) | |
| tree | 8874a2bd469f95caac6c68e680aa92d3b05a65b1 /Documentation/vm | |
| parent | 60a95b772f20a286514d32daa082131721854a98 (diff) | |
DocBook: Reduce noise from make cleandocs
I've got a harmless warning when running make cleandocs on an already
cleaned tree:
Documentation/DocBook/media/Makefile:28: recipe for target 'cleanmediadocs' failed
make[1]: [cleanmediadocs] Error 1 (ignored)
Suppress this by passing -f to rm.
Acked-by: Mauro Carvalho Chehab <mchehab@osg.samsung.com>
Signed-off-by: Takashi Iwai <tiwai@suse.de>
Signed-off-by: Jonathan Corbet <corbet@lwn.net>
Diffstat (limited to 'Documentation/vm')
0 files changed, 0 insertions, 0 deletions