From d4d10c45212e56c3a22a7e4577de798692caea49 Mon Sep 17 00:00:00 2001
From: Andreas Rossberg <rossberg@mpi-sws.org>
Date: Fri, 10 Nov 2023 09:20:38 +0100
Subject: [PATCH] Remove pointless version and index

---
 document/legacy/exceptions/appendix/index-instructions.py | 1 -
 document/legacy/exceptions/binary.rst                     | 1 -
 document/legacy/exceptions/conf.py                        | 5 ++---
 3 files changed, 2 insertions(+), 5 deletions(-)

diff --git a/document/legacy/exceptions/appendix/index-instructions.py b/document/legacy/exceptions/appendix/index-instructions.py
index ea315469..d839a299 100755
--- a/document/legacy/exceptions/appendix/index-instructions.py
+++ b/document/legacy/exceptions/appendix/index-instructions.py
@@ -19,7 +19,6 @@
 Appendix
 ========
 
-.. index:: instruction
 .. _index-instr:
 
 Index of Instructions
diff --git a/document/legacy/exceptions/binary.rst b/document/legacy/exceptions/binary.rst
index 68ea09df..f605c566 100644
--- a/document/legacy/exceptions/binary.rst
+++ b/document/legacy/exceptions/binary.rst
@@ -3,7 +3,6 @@
 Binary Format
 =============
 
-.. index:: instruction
 .. _binary-instr:
 
 Instructions
diff --git a/document/legacy/exceptions/conf.py b/document/legacy/exceptions/conf.py
index bec9b1c5..5be09c13 100644
--- a/document/legacy/exceptions/conf.py
+++ b/document/legacy/exceptions/conf.py
@@ -76,7 +76,7 @@
 # built documents.
 #
 # The short X.Y version.
-version = u'1.0'
+version = ''
 # The full version, including alpha/beta/rc tags.
 release = version
 
@@ -153,7 +153,6 @@
   'sidebar_collapse': True,
   'show_powered_by': False,
   'extra_nav_links': {
-    'Index': 'BASEDIR/genindex.html',
     'Download as PDF': 'BASEDIR/_download/' + name + '.pdf'
   },
 }
@@ -224,7 +223,7 @@
 
 # If false, no index is generated.
 #
-html_use_index = True
+html_use_index = False
 
 # If true, the index is split into individual pages for each letter.
 #