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 be dropped in the interest of
> simplicity and/or tidyness?
Hello Torquil,
Please note that /usr/share/doc/gap-doc/doc is actually a symlink.
gap-doc does not include any TeX files:
$ dpkg -L gap-doc|grep tex|wc
0 0 0
I suggest you investigate more before claiming the files to be unnecessary.
You should be able to find their purposes easily (and how to get rid of
them if they bother you).
> Actually, perhaps the dvi.gz can be dropped also, as well as the
> SGML-file in /usr/share/doc/gap-doc?
>
> I think most users are probably uninterested in these files, and
> if they want them, they can get them by downloading the Debian source
> package, right?
I suppose this depends whether they prefer to read PDF, DVI or SGML documents.
Thanks for your interest in the GAP packages,
--
Bill. <ballo...@debian.org>
Imagine a large red swirl here.
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
