fix bug: uncomment driver in dtx file

This commit is contained in:
Maximilian Keßler 2022-03-30 22:40:58 +02:00
parent 15a129c294
commit 32c2795297

View file

@ -81,7 +81,7 @@ class DTXFormatter(TexFormatter):
self._shipout_line('%') self._shipout_line('%')
self._shipout_line('%<*driver>') self._shipout_line('%<*driver>')
self._shipout_line( self._shipout_line(
self._get_drv_file(comment=True) self._get_drv_file(comment=False)
) )
self._shipout_line('%</driver>') self._shipout_line('%</driver>')
self._shipout_line(r'% \fi') self._shipout_line(r'% \fi')