Bug#877769: Q: files (.tex, .cls, Makefile, etc...) compressed to .gz (but seem should not)

2017-10-06 Thread Norbert Preining
Hi Hideki, > So question, are those compressed files are really okay to be compressed? What do you mean with "ok"? They are not meant to be run, and they are often not very useful or only useful during unpacking or building the documentation. What win do you see when all these files are unpacked

Bug#877769: Q: files (.tex, .cls, Makefile, etc...) compressed to .gz (but seem should not)

2017-10-05 Thread Hideki Yamane
Package: texlive-latex-extra-doc Severity: minor (Note: specified texlive-latex-extra-doc as package but probably this issue would be applied to other texlive -doc packages, too) Hi, > $ dpkg -L texlive-latex-extra-doc|grep tex.gz|wc -l >650 Many, many tex files are compressed. > $ dpkg -L tex