Merge branch 'upstream'

WebAssembly · Mar 1, 2023 · 3503209 · 3503209
2 parents acdac46 + 55333ae
commit 3503209
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/document/core/Makefile b/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

diff --git a/...t/core/appendix/gen-index-instructions.py → document/core/appendix/index-instructions.py b/...t/core/appendix/gen-index-instructions.py → 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: