make install-html does not honor --prefix

[David Pirotte]

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