Searched refs:WHATISDBDIR (Results 1 – 2 of 2) sorted by relevance
13 WHATISDBDIR?= /usr/share/man macro17 ${TOOL_MAKEWHATIS} ${DESTDIR}${WHATISDBDIR}19 echo ".${WHATISDBDIR}/whatis.db type=file mode=0444 uname=${BINOWN} gname=${BINGRP}" \
49 WHATISDBDIR=${X11MANDIR}