Move documentation to separate directory

[goredo.git] / doc / state.texi

diff --git a/doc/state.texi b/doc/state.texi
new file mode 100644 (file)
index 0000000..d4fa9db
--- /dev/null
+++ b/doc/state.texi
@@ -0,0 +1,26 @@
+@node 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
+@url{https://www.gnu.org/software/recutils/, recfile}, that could have
+various dependency information (@file{dep.rec} with the schema
+included):
+
+@example
+Build: 80143f04-bfff-4673-950c-081d712f573d
+
+Type: ifcreate
+Target: foo.o.do
+
+Type: ifchange
+Target: default.o.do
+Ctime: 1605721341.253305000
+Hash: f4929732f96f11e6d4ebe94536b5edef426d00ed0146853e37a87f4295e18eda
+
+Type: always
+
+Type: stamp
+Hash: 5bbdf635932cb16b9127e69b6f3872577efed338f0a4ab6f2c7ca3df6ce50cc9
+@end example