diff options
author | James Almer <jamrial@gmail.com> | 2013-01-19 00:48:59 -0300 |
---|---|---|
committer | Michael Niedermayer <michaelni@gmx.at> | 2013-01-19 14:32:29 +0100 |
commit | 4f8b73129bb3845d9aadbf3dec3027b1136092a6 (patch) | |
tree | 8a663fcdc2f0fdbb23d9773da9ce17b3f5a896ee /doc | |
parent | ed8ff70d9ee02b9940803aee69462da548df663b (diff) | |
download | ffmpeg-4f8b73129bb3845d9aadbf3dec3027b1136092a6.tar.gz |
doc/Makefile: Fix make docclean
Signed-off-by: James Almer <jamrial@gmail.com>
Signed-off-by: Michael Niedermayer <michaelni@gmx.at>
Diffstat (limited to 'doc')
-rw-r--r-- | doc/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/doc/Makefile b/doc/Makefile index b1b4016af9..f9efe3a9c4 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -92,9 +92,9 @@ uninstall: uninstall-man uninstall-man: $(RM) $(addprefix "$(MANDIR)/man1/",$(ALLMANPAGES)) -docclean: clean +clean:: docclean -clean:: +docclean: $(RM) $(TXTPAGES) doc/*.html doc/*.pod doc/*.1 doc/*.3 $(CLEANSUFFIXES:%=doc/%) doc/avoptions_*.texi $(RM) -r doc/doxy/html |