Update doc/dfetch_cover.inc

spoorcc · coderabbitai[bot] · spoorcc · commit 636ecd9b0f86 · 2026-04-13T22:34:31.000+02:00
Co-authored-by: coderabbitai[bot] &lt;136622811+coderabbitai[bot]@users.noreply.github.com&gt;
diff --git a/doc/dfetch_cover.inc b/doc/dfetch_cover.inc
@@ -1,6 +1,6 @@
 % dfetch cover page
 %
-% \input{dfetch_cover} is called from latex_elements['maketitle'] in conf.py.
+% \input{dfetch_cover.inc} is called from latex_elements['maketitle'] in conf.py.
 %
 % Prerequisites (declared in the preamble via latex_elements):
 %   packages : tikz, xcolor, fontspec, graphicx

Original file line number	Diff line number	Diff line change
`@@ -1,6 +1,6 @@`
`1`	`1`	`% dfetch cover page`
`2`	`2`	`%`
`3`		`-% \input{dfetch_cover} is called from latex_elements['maketitle'] in conf.py.`
	`3`	`+% \input{dfetch_cover.inc} is called from latex_elements['maketitle'] in conf.py.`
`4`	`4`	`%`
`5`	`5`	`% Prerequisites (declared in the preamble via latex_elements):`
`6`	`6`	`% packages : tikz, xcolor, fontspec, graphicx`