diff options
Diffstat (limited to 'src')
| -rw-r--r-- | src/tools/RELEASE_CHANGES | 2 | ||||
| -rwxr-xr-x | src/tools/find_gt_lt | 2 |
2 files changed, 3 insertions, 1 deletions
diff --git a/src/tools/RELEASE_CHANGES b/src/tools/RELEASE_CHANGES index 149e67f4bce..a087d0c85af 100644 --- a/src/tools/RELEASE_CHANGES +++ b/src/tools/RELEASE_CHANGES @@ -29,7 +29,7 @@ document all new features update help output from inside the programs doc/src/sgml/ref manual pages - convert any literal "<" and ">" characters + convert any literal "<" and ">" characters, use tools/find_gt_lt * Ports update config.guess and config.sub at the start of beta diff --git a/src/tools/find_gt_lt b/src/tools/find_gt_lt new file mode 100755 index 00000000000..66919dd7ae3 --- /dev/null +++ b/src/tools/find_gt_lt @@ -0,0 +1,2 @@ +grep '[^]a-z0-9"/!-]>' *.sgml ref/*.sgml +grep '<[^]a-z0-9"/!-]' *.sgml ref/*.sgml |