From 330a3ff8ef0a82e86fec0edcee72f20589d3d889 Mon Sep 17 00:00:00 2001
From: jao <jao@gnu.org>
Date: Sun, 4 Apr 2021 03:50:29 +0100
Subject: texi master index regenerated

---
 doc/install.texi | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'doc/install.texi')

diff --git a/doc/install.texi b/doc/install.texi
index 8e4249e..a86acd9 100644
--- a/doc/install.texi
+++ b/doc/install.texi
@@ -1,4 +1,4 @@
-@node Installation
+@node Installation, The REPL, Introduction, Top
 @chapter Installation
 
 @menu
-- 
cgit v1.2.3