1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
#!/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 <<EOF
\section ${tool}_examples ${tool} examples
EOF
./${tool}.sh >> ${tool}.dox
cat >> ${tool}.dox <<EOF
*/
EOF
cat >> tools.dox <<EOF
- \ref ${tool}
EOF
done
cat >> tools.dox <<EOF
*/
EOF
|
