diff options
Diffstat (limited to 'gdb/doc/.Sanitize')
| -rw-r--r-- | gdb/doc/.Sanitize | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gdb/doc/.Sanitize b/gdb/doc/.Sanitize index b7b68c7..740b632 100644 --- a/gdb/doc/.Sanitize +++ b/gdb/doc/.Sanitize @@ -45,6 +45,7 @@ pretex.m4 psrc.sed refcard.tex sparc.m4 +stabs.texinfo vax.m4 Do-last: |