diff options
-rw-r--r-- | Build/source/texk/web2c/cwebdir/cweave.w | 6 | ||||
-rw-r--r-- | Build/source/texk/web2c/cwebdir/system.bux | 1 |
2 files changed, 4 insertions, 3 deletions
diff --git a/Build/source/texk/web2c/cwebdir/cweave.w b/Build/source/texk/web2c/cwebdir/cweave.w index a17cfc2b626..9bdd5e0df4f 100644 --- a/Build/source/texk/web2c/cwebdir/cweave.w +++ b/Build/source/texk/web2c/cwebdir/cweave.w @@ -3887,10 +3887,10 @@ output_C(void) /* outputs the current token list */ text_pointer p; /* translation of the \CEE/ text */ next_control=ignore; p=C_translate(); app(inner_tok_flag+(int)(p-tok_start)); - if (make_pb) { - out_str("\\PB{"); make_output(); out('}'); + if (make_pb) out_str("\\PB{"); @.\\PB@> - }@+else make_output(); /* output the list */ + make_output(); /* output the list */ + if (make_pb) out('}'); if (text_ptr>max_text_ptr) max_text_ptr=text_ptr; if (tok_ptr>max_tok_ptr) max_tok_ptr=tok_ptr; text_ptr=save_text_ptr; tok_ptr=save_tok_ptr; /* forget the tokens */ diff --git a/Build/source/texk/web2c/cwebdir/system.bux b/Build/source/texk/web2c/cwebdir/system.bux index 2210e39ed24..c71597182c2 100644 --- a/Build/source/texk/web2c/cwebdir/system.bux +++ b/Build/source/texk/web2c/cwebdir/system.bux @@ -16,6 +16,7 @@ @$fflush "<stdio.h>" \zip@> @$fopen "<stdio.h>" \zip@> @$fprintf "<stdio.h>" \zip@> +@$fputc "<stdio.h>" \zip@> @$fputs "<stdio.h>" \zip@> @$fread "<stdio.h>" \zip@> @$fwrite "<stdio.h>" \zip@> |