diff options
| author | Joe Carstairs <jcarstairs@scottlogic.com> | 2026-09-08 09:48:21 +0100 |
|---|---|---|
| committer | Joe Carstairs <jcarstairs@scottlogic.com> | 2026-09-08 09:48:21 +0100 |
| commit | dcdea6993d17be425d6bf4aa3f8b44b793ed979f (patch) | |
| tree | 1caf6e2d45ea6d6c1daf72bffc949f154a74f98c /http/bin/gmi2upphtml | |
| parent | aa43bbeee25ea585dfc356ec03bfcd208ccad410 (diff) | |
Diffstat (limited to 'http/bin/gmi2upphtml')
| -rwxr-xr-x | http/bin/gmi2upphtml | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/http/bin/gmi2upphtml b/http/bin/gmi2upphtml index 07d9623..ace3ef2 100755 --- a/http/bin/gmi2upphtml +++ b/http/bin/gmi2upphtml @@ -174,10 +174,10 @@ do if [ $is_in_preformatted_block -eq 0 ] then close_all_open_blocks_except pre - echo "<pre>" + echo "<pre><code>" is_in_preformatted_block=1 else - echo "</pre>" + echo "</code></pre>" is_in_preformatted_block=0 fi continue |
