chiark / gitweb /
Debian build: Better installation of the examples