5843504 * Makefile.in (install-info): Prepend $(DESTDIR) to $(infodir).

Authored and Committed by Eli Zaretskii 20 years ago
    	* Makefile.in (install-info): Prepend $(DESTDIR) to $(infodir).
    
        
file modified
+4 -0
file modified
+2 -2