Lines Matching full:infodir
472 | sed 's|^\./|$(prefix)/|' | grep -v '$(infodir)/dir$$'577 infodir = @infodir@
