chiark / gitweb /
Syntax: Use ${top_srcdir} rather than $(top_srcdir)