chiark / gitweb /
98af823bc95de89802e7fb50f4a7b8ac86e1b628
-rw-r--r-- 45 .gitignore
-rw-r--r-- 283 Dir.mk.expected
-rw-r--r-- 70 Dir.sd.mk
-rw-r--r-- 39 Final.mk.expected
-rw-r--r-- 11 Final.sd.mk
-rw-r--r-- 15 Prefix.sd.mk
-rw-r--r-- 15 Suffix.sd.mk
-rwxr-xr-x 328 check
-rwxr-xr-x 4720 extract-doctest
-rw-r--r-- 560 main.mk.expected
drwxr-xr-x - sub
-rwxr-xr-x 443 update-expected