Re: [tei-council] debs

Stefan, great work! (haven’t tested, though ;) But why are you trying to build the Stylesheets yourself and not simply fetch them from the Jenkins? Best Peter

Am 26.04.2016 um 15:38 schrieb Stefan Majewski :

Hi,

I set up a space on our server bound to the name packages.tei-c.org on 193.170.113.222

so currently the packages should be available at:

#sources.list deb http://packages.tei-c.org/deb/binary ./

given the right DNS entry or /etc/hosts file

The signing key fingerprint is 4C1AAD67: https://pgp.mit.edu/pks/lookup?op=get&search=0xC77BEA304C1AAD67

What I am currently struggling with is the stylesheets build, which tends to yield varying results. It does not build the documentation, because I have not oxygen on this machine. Nevertheless, I think it could be good to try whether the repo works at all.

cheers, Stefan -- tei-council mailing list tei-council@lists.tei-c.org http://lists.lists.tei-c.org/mailman/listinfo/tei-council

PLEASE NOTE: postings to this list are publicly archived