chiark / gitweb /
manual/Makefile.am: Install the HTML version of the manual correctly.