##// END OF EJS Templates
Added the ability to override the document title (useful for batch jobs)
Jonathan Frederic -
Show More
@@ -83,6 +83,8 b' class SphinxTransformer(ActivatableTransformer):'
83 Whether not a header should be added to the document.
83 Whether not a header should be added to the document.
84 """)
84 """)
85
85
86 overridetitle = Unicode("", config=True, help="")
87
86 def __call__(self, nb, other):
88 def __call__(self, nb, other):
87 """
89 """
88 Entry
90 Entry
@@ -149,6 +151,9 b' class SphinxTransformer(ActivatableTransformer):'
149 # Generate Pygments definitions for Latex
151 # Generate Pygments definitions for Latex
150 other["sphinx"]["pygment_definitions"] = self._generate_pygments_latex_def()
152 other["sphinx"]["pygment_definitions"] = self._generate_pygments_latex_def()
151
153
154 if not (self.overridetitle == None or len(self.overridetitle.strip()) == 0):
155 nb.metadata.name = self.overridetitle
156
152 # End
157 # End
153 return nb, other
158 return nb, other
154
159
General Comments 0
You need to be logged in to leave comments. Login now