diff options
| -rw-r--r-- | gas/doc/.Sanitize | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/gas/doc/.Sanitize b/gas/doc/.Sanitize index 49d14f0..28ed116 100644 --- a/gas/doc/.Sanitize +++ b/gas/doc/.Sanitize @@ -29,6 +29,7 @@ all.texi as.1 as.texinfo c-a29k.texi +c-arm.texi c-d10v.texi c-h8300.texi c-h8500.texi |