diff options
author | Glenn Morris <[email protected]> | 2012-05-12 11:04:06 -0700 |
---|---|---|
committer | Glenn Morris <[email protected]> | 2012-05-12 11:04:06 -0700 |
commit | beb57c77e42b645fc198d764cf7729d008d863eb (patch) | |
tree | 346f591cb612617929dc1cd1311b5d95cfde3d2c /doc/misc | |
parent | 9598ef0bda39628d02e0dac5807619da371b6ca8 (diff) |
* doc/misc/Makefile.in (mostlyclean): Add still more TeX intermediates.
Diffstat (limited to 'doc/misc')
-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 5ed4c45e9d..0c0a4e07b6 100644 --- a/doc/misc/Makefile.in +++ b/doc/misc/Makefile.in @@ -665,7 +665,7 @@ woman.pdf: ${srcdir}/woman.texi mostlyclean: rm -f *.aux *.log *.toc *.c[mp] *.c[mp]s *.fn *.fns \ - *.ky *.kys *.op *.ops *.p[gj] *.p[gj]s *.sc *.scs \ + *.ky *.kys *.op *.ops *.p[gj] *.p[gj]s *.sc *.scs *.ss \ *.t[gp] *.t[gp]s *.vr *.vrs rm -f gnustmp.* |