Commit 044da085bd9df9d44f9ef23b685fcbd36fc8d509

Bruno Haible 2006-10-25T11:39:30

Fix installation directory of HTML documentation.