chiark / gitweb /
Makefile: Add `dist' rule for making more useful tarballs.
-rw-r--r-- 56 .gitignore
-rw-r--r-- 8375 Makefile
-rw-r--r-- 1269 find-stretch.sage
-rwxr-xr-x 17421 ocbgen