diff options
| -rw-r--r-- | doc/misc/Makefile.in | 2 |
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 | ||
| 666 | mostlyclean: | 666 | mostlyclean: |
| 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 | ||