diff options
Diffstat (limited to 'web/c_cpp/cweb/ctang-bs.ch')
-rw-r--r-- | web/c_cpp/cweb/ctang-bs.ch | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/web/c_cpp/cweb/ctang-bs.ch b/web/c_cpp/cweb/ctang-bs.ch index ceaefa93e5..ecdb4be591 100644 --- a/web/c_cpp/cweb/ctang-bs.ch +++ b/web/c_cpp/cweb/ctang-bs.ch @@ -17,12 +17,12 @@ by using "huge" pointers. The ``banner line'' defined here should be changed whenever \.{CTANGLE} is modified. -@d banner "This is CTANGLE (Version 4.6)" +@d banner "This is CTANGLE (Version 4.7)" @y The ``banner line'' defined here should be changed whenever \.{CTANGLE} is modified. -@d banner "This is CTANGLE (Version 4.6pc/big)" +@d banner "This is CTANGLE (Version 4.7pc/big)" @z @@ -98,7 +98,7 @@ typedef text *text_pointer; @x Section 20. -@ @d max_texts 2500 /* number of replacement texts, must be less than 10240 */ +@ @d max_texts 4000 /* number of replacement texts, must be less than 10240 */ @d max_toks 270000 /* number of bytes in compressed \CEE/ code */ @y @ (This is a modified version of \.{CTANGLE}, and in fact one of the parameters |