Searched refs:MANPAGE_FORMAT (Results 1 – 4 of 4) sorted by relevance
1300 [MANPAGE_FORMAT=$withval],1301 [MANPAGE_FORMAT=unknown])1303 test -z "$MANPAGE_FORMAT" && MANPAGE_FORMAT=unknown1304 MANPAGE_FORMAT=`echo "$MANPAGE_FORMAT" | sed -e 's/,/ /g'`1308 case "$MANPAGE_FORMAT" in1315 MANPAGE_FORMAT=1329 (*.bz2) MANPAGE_FORMAT="$MANPAGE_FORMAT bzip2";;1330 (*.xz) MANPAGE_FORMAT="$MANPAGE_FORMAT xz";;1331 (*.gz) MANPAGE_FORMAT="$MANPAGE_FORMAT gzip";;1332 (*.Z) MANPAGE_FORMAT="$MANPAGE_FORMAT compress";;[all …]
6954 test -z "$MANPAGE_FORMAT" && MANPAGE_FORMAT=unknown6955 MANPAGE_FORMAT=`echo "$MANPAGE_FORMAT" | sed -e 's/,/ /g'`6959 case "$MANPAGE_FORMAT" in6980 (*.bz2) MANPAGE_FORMAT="$MANPAGE_FORMAT bzip2";;6981 (*.xz) MANPAGE_FORMAT="$MANPAGE_FORMAT xz";;6982 (*.gz) MANPAGE_FORMAT="$MANPAGE_FORMAT gzip";;6983 (*.Z) MANPAGE_FORMAT="$MANPAGE_FORMAT compress";;6984 (*.0) MANPAGE_FORMAT="$MANPAGE_FORMAT BSDI";;6985 (*) MANPAGE_FORMAT="$MANPAGE_FORMAT normal";;7000 if test -n "$MANPAGE_FORMAT" ; then[all …]
14939 MANPAGE_FORMAT=$withval14941 MANPAGE_FORMAT=unknown14944 test -z "$MANPAGE_FORMAT" && MANPAGE_FORMAT=unknown14945 MANPAGE_FORMAT=`echo "$MANPAGE_FORMAT" | sed -e 's/,/ /g'`14949 case "$MANPAGE_FORMAT" in14956 MANPAGE_FORMAT=14970 (*.bz2) MANPAGE_FORMAT="$MANPAGE_FORMAT bzip2";;14971 (*.xz) MANPAGE_FORMAT="$MANPAGE_FORMAT xz";;14972 (*.gz) MANPAGE_FORMAT="$MANPAGE_FORMAT gzip";;14973 (*.Z) MANPAGE_FORMAT="$MANPAGE_FORMAT compress";;[all …]
5710 [MANPAGE_FORMAT=$withval],5711 [MANPAGE_FORMAT=unknown])5713 test -z "$MANPAGE_FORMAT" && MANPAGE_FORMAT=unknown5714 MANPAGE_FORMAT=`echo "$MANPAGE_FORMAT" | sed -e 's/,/ /g'`5718 case "$MANPAGE_FORMAT" in5725 MANPAGE_FORMAT=5739 (*.bz2) MANPAGE_FORMAT="$MANPAGE_FORMAT bzip2";;5740 (*.xz) MANPAGE_FORMAT="$MANPAGE_FORMAT xz";;5741 (*.gz) MANPAGE_FORMAT="$MANPAGE_FORMAT gzip";;5742 (*.Z) MANPAGE_FORMAT="$MANPAGE_FORMAT compress";;[all …]