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