chiark / gitweb /
fix dynamic pdf-link