Bug#636113: gap-doc: Unnecessary tex-files in documentation

2011-07-31 Thread Torquil Macdonald Sørensen
Package: gap-doc Version: 4r4p12-2 Severity: minor Hi! The documentation folders under /usr/share/doc/gap-doc/doc contain a lot of unnecessary tex-files. Since the PDF docs are included, surely the tex-files can be dropped in the interest of simplicity and/or tidyness? Actually, perhaps the

Bug#636113: gap-doc: Unnecessary tex-files in documentation

2011-07-31 Thread Bill Allombert
On Sun, Jul 31, 2011 at 11:18:22AM +0200, Torquil Macdonald Sørensen wrote: Package: gap-doc Version: 4r4p12-2 Severity: minor Hi! The documentation folders under /usr/share/doc/gap-doc/doc contain a lot of unnecessary tex-files. Since the PDF docs are included, surely the tex-files can