Hi all, On Do, 19 Jun 2008, Frank K?ster wrote: > - TeX Catalogue, source at > > cvs -d :pserver:[EMAIL PROTECTED]:/cvsroot/texcatalogue export -r HEAD > texcatalogue
Bit of digging showed: texlive-svn revision 3843 from 2007-02-01 00:27:31 +0100, Karl updated the catalogue in the texlive repository So that gives a tex catalogue revision of around 7900 r7901 | robin | 2007-02-01 13:43:16 +0100 r7900 | schoepf | 2007-02-01 10:01:50 +0100 Upload r7899 | robin | 2007-02-01 01:03:34 +0100 r7898 | robin | 2007-01-31 23:38:14 +0100 The 7900 is tagged with "Upload", so I would take that revision as the source. Ok, I have checked out the revision. There is only a small problem here that leads me to believe removing the catalogue might be the better option (it is anyway removed upstream from texlive AFAIR) The problem is that the gencat.py script in src is actually GPL, but the used tcutils.py only contains # (C) COPYRIGHT # Togaware 2004 All rights are reserved. # # Authors: Graham Williams which is not really optimal. There are more scripts like that, but they are not needed, and gencat.py contains a GPL statement. Should we ask Graham to fix that and give us a statement, or just remove the Catalogue??? Best wishes Norbert PS: Adding the stuff to the .dfsg .orig.tar.gz would be quite easy by dropping it into trunk/orig.tar.gz-addons/texlive-doc/WHEREEVER (since the file is not used at all, WHEREEVER can be everywhere). ------------------------------------------------------------------------------- Dr. Norbert Preining <[EMAIL PROTECTED]> Vienna University of Technology Debian Developer <[EMAIL PROTECTED]> Debian TeX Group gpg DSA: 0x09C5B094 fp: 14DF 2E6C 0307 BE6D AD76 A9C0 D2BF 4AA3 09C5 B094 ------------------------------------------------------------------------------- GIPPING (participial vb.) The fish-like opening and closing of the jaws seen amongst people who have recently been to the dentist and are puzzled as to whether their teeth have been put back the right way up. --- Douglas Adams, The Meaning of Liff -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]