info pages installation/uninstallation fix

[Claudio Fontana]

Hello,

the attached p0 patch in unified format
info_installation_fix.p0.udiff

adds a new variable in Makefile.in called
INFO_PAGES, with the names of the info pages.

This variable is then used in installation and
uninstallation targets to reduce redundancy and fine
grain uninstallation, fixing the current bug that may
cause unrelated files to be deleted during
uninstallation.

During uninstallation, the info pages are now
correctly removed from the info dir file.

In the Makefile.in I used constructs like:

for element in $(INFO_PAGES); do \
  for f in `ls $$element $$element-[0-9]
$$element-[0-9][0-9] 2>/dev/null`; do \
    ${INSTALL_DATA} $$f $(DESTDIR)${infodir}/$$f; \
    chmod a+r $(DESTDIR)${infodir}/$$f; \
  done; \
done); 

I could not portably do
  for f in $$element $$element-[0-9]
$$element-[0-9][0-9]
because make+/bin/sh seems not to expand portably as
desired [...]

Instead I chose
  for f in `ls $$element $$element-[0-9]
$$element-[0-9][0-9] 2>/dev/null`

hoping that this will be portable enough.

Bye,

CLaudio


        

        
                
___________________________________ 
Yahoo! Mail: gratis 1GB per i messaggi e allegati da 10MB 
http://mail.yahoo.it

info_installation_fix.p0.udiff
Description: 1669996582-info_installation_fix.p0.udiff