#!/bin/csh -f

set format="$1"

foreach file ( ../src_lite/d${format}[mv]ml.c  ../src_lite/d${format}[mv]tsl.c)
  set include_name=${file:t}
  set include_name_base=${include_name:r}
  set include_name=${include_name_base}.h
  echo "#ifndef ${include_name_base}_DOUBLE_H" > $include_name
  echo "#define ${include_name_base}_DOUBLE_H" >> $include_name
  ex_proto.pl $file >> $include_name
  echo "#endif" >> $include_name
end
