Hello,

Nothing important, since I could build the doc in the tree using makeinfo and copy it
where expected, but from the git repo,

	./autogen.sh
	./configure --prefix=/opt2
	make
	make check
	make install

all fine, but

	make install-html

tries to install in

	$HOME/Kawa/api

instead of

	$prefix/share/doc/kawa/kawa.html/


	['kawa', not 'Kawa'

and [although probably almost complete] fails with en error [1]

Cheers,
David

[1] ...
Generating /home/david/Kawa/api/overview-summary.html...
Generating /home/david/Kawa/api/help-doc.html...
102 warnings
cp ./COPYING  $HOME/Kawa/api/COPYING
cd doc;  make install-html HTML_HOME="$HOME/public_html"
make[1]: Entering directory '/usr/local/src/kawa/git/doc'
mkdir /home/david/public_html/kawa
mkdir: cannot create directory ‘/home/david/public_html/kawa’: No such file or
directory Makefile:858: recipe for target 'install-html' failed
make[1]: [install-html] Error 1 (ignored)
cp  /home/david/public_html/kawa/
cp: missing destination file operand after '/home/david/public_html/kawa/'
Try 'cp --help' for more information.
Makefile:858: recipe for target 'install-html' failed
make[1]: *** [install-html] Error 1
make[1]: Leaving directory '/usr/local/src/kawa/git/doc'
Makefile:1989: recipe for target 'install-html' failed
make: *** [install-html] Error 2