#!/bin/bash

{
    echo -n "programs ="
    while read program
    do
        echo -n " $program"
    done <programs
    echo
    while read program
    do
        echo $program: $program.c
    done <programs
} >programs.make