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