diff options
| -rw-r--r-- | docs/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/docs/Makefile b/docs/Makefile index 5f319a14d2..72b3c0b488 100644 --- a/docs/Makefile +++ b/docs/Makefile @@ -68,7 +68,7 @@ man5/%.5: man/%.pod.5 Makefile clean: $(MAKE) -C figs clean rm -rf .word_count *.aux *.dvi *.bbl *.blg *.glo *.idx *~ - rm -rf *.ilg *.log *.ind *.toc *.bak core + rm -rf *.ilg *.log *.ind *.toc *.bak *.tmp core rm -rf html txt rm -rf man5 rm -rf man1 |