Searched defs:infodir (Results 1 – 7 of 7) sorted by relevance
3 infodir ?= /usr/share/info macro
173 infodir="$(DESTDIR)@infodir@" macro
187 infodir = ${prefix}/info macro
169 infodir = ${datarootdir}/info macro