[spec] Rename script

Author: rossberg

document/core/Makefile

@@ -91,7 +91,7 @@ bikeshed-keep:
 
 .PHONY: index
 index:
-	(cd appendix; ./gen-index-instructions.py)
+	(cd appendix; ./index-instructions.py)
 
 .PHONY: pdf
 pdf:	index latexpdf

document/core/appendix/gen-index-instructions.py renamed to document/core/appendix/index-instructions.py

@@ -12,7 +12,7 @@
 INDEX_INSTRUCTIONS_RST = os.path.join(SCRIPT_DIR, 'index-instructions.rst')
 
 HEADER = """\
-.. DO NOT EDIT: This file is auto-generated by the gen-index-instructions.py script.
+.. DO NOT EDIT: This file is auto-generated by the index-instructions.py script.
 
 .. index:: instruction
 .. _index-instr: