#!/bin/sh exec pageif cvslog2html -t ${1+"$@"}