#!/bin/bash

headers_dir="$1"

files="limits.h rc.h structs.h sched.h hmm.h db.h job.h prod.h seq.h scan.h error.h"

{
    for file in $files; do
        echo "/* --- $file file --- */"
        IFS=
        while read -r row; do
            if [[ $row == \#* ]]; then
                continue
            fi
            echo "$row"
        done <"$headers_dir/$file"
    done
} | cat -s
