extract-tex.pl: Option -x gibt jetzt auch Kommentare aus.
commit36f45c7014f633aa03e383abc4fa3d3211fad4a1
authorWerner Lemberg <wl@gnu.org>
Sun, 16 Oct 2016 07:03:21 +0000 (16 09:03 +0200)
committerWerner Lemberg <wl@gnu.org>
Sun, 16 Oct 2016 07:03:21 +0000 (16 09:03 +0200)
tree0cd19357617e02892d259dfe703c455052d75b8c
parent86b2231e45fee058b1c1b7e69274e7563ffd00e5
extract-tex.pl: Option -x gibt jetzt auch Kommentare aus.
skripte/extract-tex.pl