Dependency files @file{.dep} extension changed to @file{.rec}, to
reflect its recfile format nature and editors file type better
determination.
Dependency files @file{.dep} extension changed to @file{.rec}, to
reflect its recfile format nature and editors file type better
determination.