Hi Sebastian,
first I want to say that I will check later which JS we are really using
- I remember that I injected Debian replacements and so we can safely drop
the sources. Need to check this when I find some couple of minutes spare
time.
On Fri, Sep 07, 2012 at 06:29:26AM +0200, Sebastian Hilbert wrote:
> I was not aware those js files are somehow compressed. I was under the
> impression these files are pure source files.
These are for sure ASCII files which you might be able to edit but it is
not considered as "source" because comments and blanks are removed and
probably some other optimisations. If you have time you might like to
read the longish thread about this on debian-devel list (I only browsed
a small amount of it).
> If not please drop the js files as
> the doc packge will work without them. Output will just look a bit uglier but
> I don't care. So before dropping content please consider dropping styling.
OK, message taken. I hope to have this ready at beginning of next week.
Kind regards
Andreas.
--
http://fam-tille.de
--
To UNSUBSCRIBE, email to debian-bugs-dist-requ...@lists.debian.org
with a subject of "unsubscribe". Trouble? Contact listmas...@lists.debian.org
