diff options
| -rw-r--r-- | gdb/doc/.Sanitize | 19 |
1 files changed, 5 insertions, 14 deletions
diff --git a/gdb/doc/.Sanitize b/gdb/doc/.Sanitize index 5e37d0d..415c0a2 100644 --- a/gdb/doc/.Sanitize +++ b/gdb/doc/.Sanitize @@ -23,31 +23,22 @@ Do-first: # called. Directories not listed will be removed in their entirety # with rm -rf. +# Note that we don't even keep the "config" directory, since it is +# not currently used (since we abolished use of M4 in the docs). + Things-to-keep: ChangeLog Makefile.in -all.m4 -amd29k.m4 -config configure.in gdb.texinfo +gdb-config.texi gdbint.texinfo -gdbinv-m.m4.in -gdbinv-s.m4.in -gen.m4 -h8.m4 -i80386.m4 -i960.m4 +gdbinv-s.texi lpsrc.sed -m680x0.m4 -none.m4 -pretex.m4 psrc.sed refcard.tex -sparc.m4 stabs.texinfo -vax.m4 Do-last: |