aboutsummaryrefslogtreecommitdiffstats
diff options
context:
space:
mode:
-rw-r--r--doc/misc/Makefile.in2
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in
index 5ed4c45e9d1..0c0a4e07b68 100644
--- a/doc/misc/Makefile.in
+++ b/doc/misc/Makefile.in
@@ -665,7 +665,7 @@ woman.pdf: ${srcdir}/woman.texi
665 665
666mostlyclean: 666mostlyclean:
667 rm -f *.aux *.log *.toc *.c[mp] *.c[mp]s *.fn *.fns \ 667 rm -f *.aux *.log *.toc *.c[mp] *.c[mp]s *.fn *.fns \
668 *.ky *.kys *.op *.ops *.p[gj] *.p[gj]s *.sc *.scs \ 668 *.ky *.kys *.op *.ops *.p[gj] *.p[gj]s *.sc *.scs *.ss \
669 *.t[gp] *.t[gp]s *.vr *.vrs 669 *.t[gp] *.t[gp]s *.vr *.vrs
670 rm -f gnustmp.* 670 rm -f gnustmp.*
671 671