Original commit message from CVS: Manual now gets installed correctly by make install. Problems: clean / uninstall don't work. make dist not tested. pdf manual doesn't have images.
Original commit message from CVS: Manual now gets installed correctly by make install. Problems: clean / uninstall don't work. make dist not tested. pdf manual doesn't have images.