diff options
| author | Stefano Sabatini | 2012-11-06 12:23:13 +0100 |
|---|---|---|
| committer | Stefano Sabatini | 2012-11-06 12:23:13 +0100 |
| commit | a1934daeb4e1b4c553a9394ca167bd7c67984e9d (patch) | |
| tree | 352c8a522e85c3bfc3b17a501203b6120358ff12 /doc | |
| parent | 98506e16c790ce0394490e88db0c5db05c885e67 (diff) | |
doc/Makefile: remove .3 file with make clean
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/Makefile b/doc/Makefile index a5577acbaa..9fa8382ee5 100644 --- a/doc/Makefile +++ b/doc/Makefile @@ -79,7 +79,7 @@ uninstall-man: $(RM) $(addprefix "$(MANDIR)/man1/",$(ALLMANPAGES)) clean:: - $(RM) $(TXTPAGES) doc/*.html doc/*.pod doc/*.1 $(CLEANSUFFIXES:%=doc/%) doc/avoptions_*.texi + $(RM) $(TXTPAGES) doc/*.html doc/*.pod doc/*.1 doc/*.3 $(CLEANSUFFIXES:%=doc/%) doc/avoptions_*.texi $(RM) -r doc/doxy/html -include $(wildcard $(DOCS:%=%.d)) |