diff options
Diffstat (limited to 'Build/source/texk/web2c/ctiedir/ctie.inc')
-rw-r--r-- | Build/source/texk/web2c/ctiedir/ctie.inc | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/ctiedir/ctie.inc b/Build/source/texk/web2c/ctiedir/ctie.inc new file mode 100644 index 00000000000..435c17d8a18 --- /dev/null +++ b/Build/source/texk/web2c/ctiedir/ctie.inc @@ -0,0 +1,4 @@ +include line 1 +include line 2 +@i ctie.inc1 +include line 3 |