#!/bin/ksh set -ex set -A tools grib_dump grib_ls grib_get grib_copy grib_set grib_filter grib_compare grib_get_data grib_keys grib_index_build export DOXYGEN_USAGE=1 p4 edit tools.dox cat tools_head.dox > tools.dox for tool in ${tools[@]} do p4 edit ${tool}.dox set +e ./$tool > ${tool}.dox set -e cat >> ${tool}.dox <> ${tool}.dox cat >> ${tool}.dox <> tools.dox <> tools.dox <