chiark / gitweb /
1eb55cc3a175f938fe1a4b7ddd1a107df51b50d2
-rw-r--r-- 214 .gitignore
-rw-r--r-- 628 Dir.mk.expected
-rw-r--r-- 416 Dir.sd.mk
-rw-r--r-- 210 Final.mk.expected
-rw-r--r-- 182 Final.sd.mk
-rw-r--r-- 227 Prefix.sd.mk
-rw-r--r-- 190 Suffix.sd.mk
-rwxr-xr-x 606 check
-rwxr-xr-x 4867 extract-doctests
-rw-r--r-- 562 main.mk.expected
-rw-r--r-- 1011 stderr.expected
drwxr-xr-x - sub
-rwxr-xr-x 609 update-expected