diff options
Diffstat (limited to 'Doc/Makefile.in')
| -rw-r--r-- | Doc/Makefile.in | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in index eafbc2dd3..a78a3808a 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -286,6 +286,7 @@ clean-here: rm -f *.aux *.cp *.cps *.fn *.fns *.ky *.log rm -f *.pg *.pgs *.toc *.tp *.tps *.vr *.vrs rm -rf infodir + rm -f *.1 Zsh/modlist.yo Zsh/modmenu.yo Zsh/manmodmenu.yo .PHONY: clean-here distclean-here: clean-here |