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