diff options
author | Hendrik Jäger <gitcommit@henk.geekmail.org> | 2023-09-28 21:35:53 +0200 |
---|---|---|
committer | Hendrik Jäger <gitcommit@henk.geekmail.org> | 2023-09-28 21:35:53 +0200 |
commit | a643dea0ff5363e6520d86466395760db116b171 (patch) | |
tree | 5600e9e0dea1186005d79a3b6ddc6597cd452375 /doc/doc-scripts | |
parent | 67cc3ad2fe09fa6197c54a18fa9eb8f1375a87ec (diff) |
fix: typo'ed 'is is' occurencesfix_isis_typos
Diffstat (limited to 'doc/doc-scripts')
-rwxr-xr-x | doc/doc-scripts/g2t | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/doc/doc-scripts/g2t b/doc/doc-scripts/g2t index c840ac64f..5916e9149 100755 --- a/doc/doc-scripts/g2t +++ b/doc/doc-scripts/g2t @@ -294,7 +294,7 @@ my($new_lastwasitem) = 0; # Chapter directives just require . => @; however, dequoting the # line thereafter will remove the first @, so just force it back -# afterwards. If the chapter is is one describing a driver, set +# afterwards. If the chapter is one describing a driver, set # the driver name. if (/\.chapter/) |