[avr-libc-dev] eliminating version from avr-libc-user-manual filename

[Galen Seitz]

When building versioned docs, the filename for the user manual has the
version number added.  Here is the relevant section from configure.ac:

if test "$versioned_doc" = "yes"; then
        DOC_INST_DIR='${DESTDIR}${datadir}/doc/avr-libc-$(VERSION)'
        AVR_LIBC_USER_MANUAL="avr-libc-user-manual-${VERSION}"
else
        DOC_INST_DIR='${DESTDIR}${datadir}/doc/avr-libc'
        AVR_LIBC_USER_MANUAL="avr-libc-user-manual"
fi

This seems redundant to me since the filename of the install directory 
already contains the version.  Additionally, the title page of the manual
has the version number.  In order to simplify the rpm spec file, I would
like to eliminate the version number from the user manual filename, ie:

if test "$versioned_doc" = "yes"; then
        DOC_INST_DIR='${DESTDIR}${datadir}/doc/avr-libc-$(VERSION)'
else
        DOC_INST_DIR='${DESTDIR}${datadir}/doc/avr-libc'
fi
AVR_LIBC_USER_MANUAL="avr-libc-user-manual"

Does anyone have a problem with this?

thanks,
galen