Searched refs:MANPAGE_RENAMES (Results 1 – 4 of 4) sorted by relevance
103 $(SHELL) $(srcdir)/make_sed.sh @MANPAGE_RENAMES@ >../edit_man.sed
15074 MANPAGE_RENAMES=$withval15076 MANPAGE_RENAMES=yes15079 case ".$MANPAGE_RENAMES" in15085 MANPAGE_RENAMES=man/man_db.renames15087 MANPAGE_RENAMES=no15092 if test "$MANPAGE_RENAMES" = man/man_db.renames ; then15093 MANPAGE_RENAMES=`pwd`/$MANPAGE_RENAMES15094 elif test "$MANPAGE_RENAMES" = no ; then15096 elif test ! -f "$MANPAGE_RENAMES" ; then15097 { { echo "$as_me:15097: error: not a filename: $MANPAGE_RENAMES" >&5[all …]
5854 [MANPAGE_RENAMES=$withval],5855 [MANPAGE_RENAMES=yes])5857 case ".$MANPAGE_RENAMES" in5863 MANPAGE_RENAMES=man/man_db.renames5865 MANPAGE_RENAMES=no5870 if test "$MANPAGE_RENAMES" = man/man_db.renames ; then5871 MANPAGE_RENAMES=`pwd`/$MANPAGE_RENAMES5872 elif test "$MANPAGE_RENAMES" = no ; then5874 elif test ! -f "$MANPAGE_RENAMES" ; then5875 AC_MSG_ERROR(not a filename: $MANPAGE_RENAMES)[all …]
2576 MANPAGE_RENAMES="$MANPAGE_RENAMES"