ecd94030515b58fa4c5b5b30369e6894e335ebc1
-rw-r--r-- 2197 .docproc.cmd
-rw-r--r-- 2497 .fixdep.cmd
-rw-r--r-- 29 .gitignore
-rw-r--r-- 1814 .split-include.cmd
-rw-r--r-- 858 Makefile
-rwxr-xr-x 13404 docproc
-rw-r--r-- 10220 docproc.c
-rwxr-xr-x 8881 fixdep
-rw-r--r-- 9763 fixdep.c
-rwxr-xr-x 7891 split-include
-rw-r--r-- 5593 split-include.c