diff options
Diffstat (limited to 'Build/source/texk/dvipsk/resident.c')
-rw-r--r-- | Build/source/texk/dvipsk/resident.c | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/Build/source/texk/dvipsk/resident.c b/Build/source/texk/dvipsk/resident.c index 474ef9a7e27..665686eaede 100644 --- a/Build/source/texk/dvipsk/resident.c +++ b/Build/source/texk/dvipsk/resident.c @@ -765,6 +765,12 @@ case 't' : paperfmt = newstring(PSname); } break; +case 'c' : + if (sscanf(was_inline+1, "%s", PSname) != 1) + bad_config("missing arg to c"); + else + getdefaults(PSname); + break; default: bad_config("strange line"); } |