@if test -f share/html/index.html; then \
echo For documentation, see $(htmldir)/index.html ; \
elif test -d share/html ; then \
@if test -f share/html/index.html; then \
echo For documentation, see $(htmldir)/index.html ; \
elif test -d share/html ; then \