[Doxygen-users] 1.2.8.1: minor problem with configure -help

[Geoff A. <gd...@us...>]

I recently encountered a minor problem with configure -help in doxygen
1.2.8.1 where configure -help states that the default install tool is
install:

     --install name        Use `name' as the name of the GNU install tool
                           [default: install]

However, the default value code in configure is ginstall:

   f_insttool=ginstall

Geoff Alexander, Ph.D.
919/254-5216 T/L 444-5216
CMVC95 WebDAV Development
IBM Corporation
RTP, NC