diff options
| -rw-r--r-- | Doc/Makefile.in | 1 |
1 files changed, 0 insertions, 1 deletions
diff --git a/Doc/Makefile.in b/Doc/Makefile.in index 28d527570..29c74c8db 100644 --- a/Doc/Makefile.in +++ b/Doc/Makefile.in @@ -286,7 +286,6 @@ 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 |