summaryrefslogtreecommitdiff
path: root/doc/install.texi
diff options
context:
space:
mode:
authorjao <jao@gnu.org>2021-04-04 03:50:29 +0100
committerjao <jao@gnu.org>2021-04-04 03:50:29 +0100
commit330a3ff8ef0a82e86fec0edcee72f20589d3d889 (patch)
tree5d27b49cd56b72fd5137ca8e853adca63c7f7125 /doc/install.texi
parentb0813dedce855e82eeb51da1a38086312d0560d2 (diff)
downloadgeiser-330a3ff8ef0a82e86fec0edcee72f20589d3d889.tar.gz
geiser-330a3ff8ef0a82e86fec0edcee72f20589d3d889.tar.bz2
texi master index regenerated
Diffstat (limited to 'doc/install.texi')
-rw-r--r--doc/install.texi2
1 files changed, 1 insertions, 1 deletions
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