From 32c27952971f69607faa8499b83123a5be2cfbbc Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Maximilian=20Ke=C3=9Fler?= Date: Wed, 30 Mar 2022 22:40:58 +0200 Subject: [PATCH] fix bug: uncomment driver in dtx file --- PyTeX/format/dtx_formatter.py | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/PyTeX/format/dtx_formatter.py b/PyTeX/format/dtx_formatter.py index e847201..b329889 100644 --- a/PyTeX/format/dtx_formatter.py +++ b/PyTeX/format/dtx_formatter.py @@ -81,7 +81,7 @@ class DTXFormatter(TexFormatter): self._shipout_line('%') self._shipout_line('%<*driver>') self._shipout_line( - self._get_drv_file(comment=True) + self._get_drv_file(comment=False) ) self._shipout_line('%') self._shipout_line(r'% \fi')