diff options
Diffstat (limited to 'Build/source/texk/web2c/mpdir/makecpool.c')
| -rw-r--r-- | Build/source/texk/web2c/mpdir/makecpool.c | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/Build/source/texk/web2c/mpdir/makecpool.c b/Build/source/texk/web2c/mpdir/makecpool.c index 9130f3cb924..7d37035b9fd 100644 --- a/Build/source/texk/web2c/mpdir/makecpool.c +++ b/Build/source/texk/web2c/mpdir/makecpool.c @@ -1,3 +1,6 @@ +/* Copyright 2007, 2008 Taco Hoekwater. + You may freely use, modify and/or distribute this file. */ + #include <stdio.h> #include <string.h> #include <stdlib.h> @@ -16,6 +19,7 @@ int main(int argc, char *argv[]) { "/* This file is auto-generated by makecpool */\n" "\n" "#include <stdio.h>\n" + "#include <strings.h>\n" "#include \"%s\"\n" "\n" "static char *poolfilearr[] = {\n",headername); |