make sphinx prefixed names known to non-Sphinx document classes

2026-09-03 20:52:55 -05:00 · 2016-10-12 08:32:24 +02:00
parent 9826be6f69
commit 1a540247b6
1 changed files with 5 additions and 0 deletions
@@ -1019,3 +1019,8 @@

 % stylesheet for highlighting with pygments
 \RequirePackage{sphinxhighlight}
+
+% make commands known to non-Sphinx document classes
+\providecommand*{\sphinxtableofcontents}{\tableofcontents}
+\providecommand*{\sphinxthebibliography}{\thebibliography}
+\providecommand*{\sphinxtheindex}{\theindex}