Searched refs:MANTYPE (Results 1 – 3 of 3) sorted by relevance
187 if test "$(MANTYPE)" = "cat"; then \192 if test "$(MANTYPE)" = "man"; then \
608 MANTYPE=man 967 MANTYPE=man981 MANTYPE=cat992 MANTYPE=cat1003 MANTYPE=cat4223 MANTYPE=$withval4231 if test -z "$MANTYPE"; then4235 MANTYPE=doc4237 MANTYPE=man4239 MANTYPE=cat[all …]
7268 MANTYPE=man8117 MANTYPE=cat8134 MANTYPE=cat8151 MANTYPE=cat17475 if test -z "$MANTYPE"; then17532 if test "$MANTYPE" = "doc"; then17535 mansubdir=$MANTYPE;19680 echo " Manpage format: $MANTYPE"