diff options
| -rw-r--r-- | gdb/doc/.Sanitize | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/gdb/doc/.Sanitize b/gdb/doc/.Sanitize index f72790a..0309f64 100644 --- a/gdb/doc/.Sanitize +++ b/gdb/doc/.Sanitize @@ -34,11 +34,11 @@ all-cfg.texi configure.in gdb.texinfo gdbint.texinfo -gdbinv-s.texi h8-cfg.texi lpsrc.sed psrc.sed refcard.tex +remote.texi stabs.texinfo # Things which are explicitly *not* kept by default. |