Makefile: Use `silent-rules'-style output by default.
-rw-r--r-- 41 .gitignore
-rw-r--r-- 6545 Makefile
-rw-r--r-- 1264 find-stretch.sage
-rwxr-xr-x 16165 ocbgen