chiark / gitweb /
Fix up filename change. Generates decls !