Dependency and build state is kept inside @file{.redo} subdirectory in
each directory related the build. Each corresponding target has its own,
-recreated with every rebuild, @file{.dep} file. It is
+recreated with every rebuild, @file{.rec} file. It is
@url{https://www.gnu.org/software/recutils/, recfile}, that could have
various dependency information. For example: