fix some header errors

This commit is contained in:
Maximilian Keßler 2022-02-17 22:30:51 +01:00
parent 030d6906cd
commit 9a31d695c8

View file

@ -57,11 +57,14 @@ class DTXFormatter(TexFormatter):
self._shipout_line( self._shipout_line(
self._get_internal_file() self._get_internal_file()
) )
self._shipout_line('%<*internal>')
self._shipout_line('%') self._shipout_line('%')
self._shipout_line( self._shipout_line(
'%<{outtype}>{provides}'.format( '%<{outtype}>{provides}'.format(
outtype=self.config.tex_out_type.value, outtype=self.config.tex_out_type.value,
provides=self._get_provides_text() provides=self._get_provides_text(
self.config.tex_out_type.value.capitalize()
)
) )
) )
self._shipout_line('%') self._shipout_line('%')