Change dependency files extension to .rec

[goredo.git] / doc / state.texi

diff --git a/doc/state.texi b/doc/state.texi
index 5313ae1817857ec8d963b51e5cd6a8d536320218..4c84b4168b812cc6d7295485bc1652c1ccd5d905 100644 (file)
--- a/doc/state.texi
+++ b/doc/state.texi
@@ -3,7 +3,7 @@
 
 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:
 
@@ -15,7 +15,9 @@ Target: foo.o.do
 
 Type: ifchange
 Target: default.o.do
-Ctime: 1605721341.253305000
+Size: 123
+CtimeSec: 1605721341
+CtimeNsec: 253305000
 Hash: f4929732f96f11e6d4ebe94536b5edef426d00ed0146853e37a87f4295e18eda
 
 Type: always