fix wrong guard

This commit is contained in:
Maximilian Keßler 2022-02-17 23:50:13 +01:00
parent 234e3d9983
commit c73cbfffcf

View file

@ -57,11 +57,11 @@ class DTXFormatter(TexFormatter):
def format_post_header(self) -> None: def format_post_header(self) -> None:
if self.current_file_name().endswith('.dtx'): if self.current_file_name().endswith('.dtx'):
self._shipout_line('%</internal>') self._shipout_line('%<*internal>')
self._shipout_line( self._shipout_line(
self._get_internal_file(comment=True) self._get_internal_file(comment=True)
) )
self._shipout_line('%<*internal>') self._shipout_line('%</internal>')
self._shipout_line('%') self._shipout_line('%')
self._shipout_line( self._shipout_line(
'%<{outtype}>{provides}'.format( '%<{outtype}>{provides}'.format(