HomeSort by: relevance | last modified time | path
    Searched refs:WHATISDBDIR (Results 1 - 2 of 2) sorted by relevancy

  /src/share/man/
Makefile 13 WHATISDBDIR?= /usr/share/man
17 ${TOOL_MAKEWHATIS} ${DESTDIR}${WHATISDBDIR}
19 echo ".${WHATISDBDIR}/whatis.db type=file mode=0444 uname=${BINOWN} gname=${BINGRP}" \
  /src/external/mit/xorg/
Makefile 49 WHATISDBDIR=${X11MANDIR}

Completed in 15 milliseconds