Various documentation changes

[goredo.git] / doc / state.texi

diff --git a/doc/state.texi b/doc/state.texi
index d4fa9dbfa753de896a020bacce36c6c80ffc7708..5313ae1817857ec8d963b51e5cd6a8d536320218 100644 (file)
--- a/doc/state.texi
+++ b/doc/state.texi
@@ -5,8 +5,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
 @url{https://www.gnu.org/software/recutils/, recfile}, that could have
-various dependency information (@file{dep.rec} with the schema
-included):
+various dependency information. For example:
 
 @example
 Build: 80143f04-bfff-4673-950c-081d712f573d
@@ -24,3 +23,6 @@ Type: always
 Type: stamp
 Hash: 5bbdf635932cb16b9127e69b6f3872577efed338f0a4ab6f2c7ca3df6ce50cc9
 @end example
+
+And the schema definition:
+@verbatiminclude ../dep.rec