tree d465b66e6e492d8b779ef2fa28f62940a23d6456
parent f76fe86a32f8c0842eee2922b86979864041e37b
author PulkoMandy <pulkomandy@pulkomandy.tk> 1679137608 +0100
committer PulkoMandy <pulkomandy@pulkomandy.tk> 1679137608 +0100

generate_header: fix handling of escape sequences

The string in the source file can be C-escaped. We can copy them
directly as-is in the catcomp block (the C compiler will then handle the
escapements), but we have to adjust the length to be the one after the
escapements are processed.