Re: Error in Makefiles/Instance/documentation.make Kills Install

[Nicola Pero]

Hi, 

thanks - I made this change, plus some similar ones to uninstallation and
cleaning.

> So, there's a teensy-weensy bug in Makefiles/Instance/documentation.make, 
> w/r/t 
> texinfo sources. The file assumes that there will always be .info-*
> files as well as the main .info file. This is not always the case --
> Gorm, for example, only generates a single .info file.
> 
> Maybe some kind of conditional test to make sure that the .info-*
> files exist before trying to install them might work? Or, better,
> replace these two lines:
> 
> ---8<---
>       $(INSTALL_DATA) $(GNUSTEP_INSTANCE).info $(GNUSTEP_DOCUMENTATION_INFO)
>       $(INSTALL_DATA) $(GNUSTEP_INSTANCE).info-* $(GNUSTEP_DOCUMENTATION_INFO)
> ---8<---
> 
> with this one line:
> 
> ---8<---
>       $(INSTALL_DATA) $(GNUSTEP_INSTANCE).info* $(GNUSTEP_DOCUMENTATION_INFO)
> ---8<---
> 
> ...which works correctly whether or not there's any .info-* files.
> 
> ~ESP
> 
>