> > we want it to include a name that > > ends with ".h" so that make won't arbitrarily try to delete it. I think Nathan is confused: this is not currently an issue. -benjamin