diff --git a/webrev.ksh b/webrev.ksh old mode 100644 new mode 100755 --- a/webrev.ksh +++ b/webrev.ksh @@ -218,19 +218,26 @@ PREVIOUS_FILE=$2 NEXT_FILE=$3 EXTENSION=$4 + + if [[ $EXTENSION = "" ]] + then + EXTSTRING="" + else + EXTSTRING=".${EXTENSION}" + fi if [[ $PREVIOUS_FILE = "no_prev" ]] then PREV_LINK="< prev" else - PREV_LINK="< prev" + PREV_LINK="< prev" fi if [[ $NEXT_FILE = "no_next" ]] then NEXT_LINK="next >" else - NEXT_LINK="next >" + NEXT_LINK="next >" fi print "
" html_quote | $AWK '{line += 1 ; printf "%4d %s\n", line, $0 }' - print "" + print "" + prev_index_next_html "$RELROOT" "$PREVIOUS_FILE" "$NEXT_FILE" "" + print "