Searched refs:MANTYPE (Results 1 – 3 of 3) sorted by relevance
201 if test "$(MANTYPE)" = "cat"; then \206 if test "$(MANTYPE)" = "man"; then \
650 MANTYPE=man1053 MANTYPE=man1067 MANTYPE=cat1078 MANTYPE=cat1089 MANTYPE=cat4471 MANTYPE=$withval4479 if test -z "$MANTYPE"; then4483 MANTYPE=doc4485 MANTYPE=man4487 MANTYPE=cat[all …]
7425 MANTYPE=man8351 MANTYPE=cat8368 MANTYPE=cat8385 MANTYPE=cat18189 if test -z "$MANTYPE"; then18246 if test "$MANTYPE" = "doc"; then18249 mansubdir=$MANTYPE;20384 echo " Manpage format: $MANTYPE"