Merge branch 'upstream'

rossberg · rossberg · commit acdac467b82c · 2023-03-01T09:45:52.000+01:00
diff --git a/document/core/.gitignore b/document/core/.gitignore
@@ -1,3 +1,4 @@
 _build
 _static
 document/*.pyc
+appendix/index-instructions.rst
diff --git a/document/core/Makefile b/document/core/Makefile
@@ -103,6 +103,7 @@ pdf:	index latexpdf
 clean:
 	rm -rf $(BUILDDIR)
 	rm -rf $(STATICDIR)
+	rm -f appendix/index-instructions.rst
 
 .PHONY: html
 html: index
diff --git a/document/core/appendix/index-instructions.rst b/document/core/appendix/index-instructions.rst

-Original file line number
+Diff line change
@@ @@ -1,3 +1,4 @@ @@
 _build
 _static
 document/*.pyc
 +appendix/index-instructions.rst