diff options
Diffstat (limited to 'doc')
| -rw-r--r-- | doc/misc/ChangeLog | 2 | ||||
| -rw-r--r-- | doc/misc/Makefile.in | 5 |
2 files changed, 5 insertions, 2 deletions
diff --git a/doc/misc/ChangeLog b/doc/misc/ChangeLog index a03ad34b63e..915e85a3e68 100644 --- a/doc/misc/ChangeLog +++ b/doc/misc/ChangeLog @@ -1,5 +1,7 @@ 2012-05-12 Glenn Morris <rgm@gnu.org> + * Makefile.in (mostlyclean): Add more TeX intermediates. + * Makefile.in: Make it look more like the other doc Makefiles. Use explicit $srcdir in all dependencies. Remove cd $srcdir from rules. diff --git a/doc/misc/Makefile.in b/doc/misc/Makefile.in index c864030e4af..5ed4c45e9d1 100644 --- a/doc/misc/Makefile.in +++ b/doc/misc/Makefile.in @@ -664,8 +664,9 @@ woman.pdf: ${srcdir}/woman.texi .PHONY: mostlyclean clean distclean maintainer-clean mostlyclean: - rm -f *.aux *.log *.toc *.cp *.cps *.fn *.fns *.ky *.kys \ - *.op *.ops *.pg *.pgs *.tp *.tps *.vr *.vrs + rm -f *.aux *.log *.toc *.c[mp] *.c[mp]s *.fn *.fns \ + *.ky *.kys *.op *.ops *.p[gj] *.p[gj]s *.sc *.scs \ + *.t[gp] *.t[gp]s *.vr *.vrs rm -f gnustmp.* clean: mostlyclean |