From 9a31d695c83131d70b2c94d6dabd52dd2e571962 Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Thu, 17 Feb 2022 22:30:51 +0100 Subject: [PATCH] fix some header errors --- PyTeX/format/dtx_formatter.py | 5 ++++- 1 file changed, 4 insertions(+), 1 deletion(-) diff --git a/PyTeX/format/dtx_formatter.py b/PyTeX/format/dtx_formatter.py index 4d2bc25..1391c60 100644 --- a/PyTeX/format/dtx_formatter.py +++ b/PyTeX/format/dtx_formatter.py @@ -57,11 +57,14 @@ class DTXFormatter(TexFormatter): self._shipout_line( self._get_internal_file() ) + self._shipout_line('%<*internal>') self._shipout_line('%') self._shipout_line( '%<{outtype}>{provides}'.format( 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('%')