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