Add goredoer container image/file

[goredo.git] / doc / state.texi

diff --git a/doc/state.texi b/doc/state.texi
index fa7c28c657e74787ba76d69746eb6d848cbd4cdb..5b0e05c221ac148a3d5f4381647b4f4c78b19eee 100644 (file)
--- a/doc/state.texi
+++ b/doc/state.texi
@@ -1,9 +1,11 @@
 @node State
+@cindex storage
+@cindex state
 @unnumbered State
 
 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:
 
@@ -16,8 +18,11 @@ Target: foo.o.do
 Type: ifchange
 Target: default.o.do
 Size: 123
+InodeNum: 2345
 CtimeSec: 1605721341
 CtimeNsec: 253305000
+MtimeSec: 1645606823
+MtimeNsec: 369936700
 Hash: f4929732f96f11e6d4ebe94536b5edef426d00ed0146853e37a87f4295e18eda
 
 Type: always