chiark / gitweb /
filamentspool, Makefile: automatic toplevels