Various info indices

[goredo.git] / doc / jobserver.texi

diff --git a/doc/jobserver.texi b/doc/jobserver.texi
index a7e640a5a7fcf3cd200d49301887fe7656fdc8d5..db795fe43b8c0bcc079e02cb61d70de80ba29742 100644 (file)
--- a/doc/jobserver.texi
+++ b/doc/jobserver.texi
@@ -1,4 +1,5 @@
 @node Jobserver
+@cindex jobserver
 @unnumbered Jobserver
 
 Parallel builds are made by utilizing the jobserver protocol. Each job
@@ -8,6 +9,8 @@ to each @command{goredo} instance. Job takes the token by reading the
 single byte from that pipe, writing it back for returning. Pipe is
 pre-filled with required number of tokens.
 
+@pindex bmake
+@pindex gmake
 @command{goredo} can be integrated with
 @url{http://www.crufty.net/help/sjg/bmake.htm, bmake} and
 @url{https://www.gnu.org/software/make/, GNU Make} (@command{gmake})
@@ -15,6 +18,7 @@ jobserver protocol. All three of them use the same principle of
 jobserver, but different ways of passing pipe's file descriptors
 numbers to child process.
 
+@vindex REDO_MAKE
 @env{$REDO_MAKE} environment variable controls the compatibility behaviour:
 
 @table @command