Michael Albinus <[EMAIL PROTECTED]> writes: > infodir=[-d $(prefix)/info] ? $(prefix)/info : $(datadir)/info
I suggest the opposite logic: if $datadir/info exists, use that, else use $prefix/info. Rationale: people might install into new directories, where it would be customary to use $prefix/info. Only /usr is special, but we know that /usr/share/info exists. Thoughts? Opinions? Kai _______________________________________________ Tramp-devel mailing list [email protected] http://lists.nongnu.org/mailman/listinfo/tramp-devel
