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