rename lib from "mp" to "mplib";
[mplib] / src / texk / web2c / mpdir /
drwxr-xr-x   ..
-rw-r--r-- 1008 Makefile
drwxr-xr-x - lib
-rw-r--r-- 28779 lmplib.c
-rw-r--r-- 1198 luamain.c
-rw-r--r-- 11989 mpost.w
drwxr-xr-x - tests