On Tue, May 24, 2016 at 11:51:19AM +0200, Ludovic Courtès wrote: > Roel Janssen <r...@gnu.org> skribis: > > > From fc657a31b4a52628c09a0b634c49b71cce2230bc Mon Sep 17 00:00:00 2001 > > From: Roel Janssen <r...@gnu.org> > > Date: Tue, 24 May 2016 00:14:59 +0200 > > Subject: [PATCH 1/2] gnu: Rename texlive to tex. > > > > * gnu/local.mk (GNU_SYSTEM_MODULES): Rename texlive.scm to tex.scm. > > * gnu/packages/texlive.scm: Rename file to tex.scm. > > * gnu/packages/tex.scm: Renamed from texlive.scm. > > * gnu/packages/algebra.scm: Rename texlive to tex. > > Here I’d just put “Adjust accordingly.” > > > * gnu/packages/docbook.scm: Rename texlive to tex. > > * gnu/packages/engineering.scm: Rename texlive to tex. > > … and here “Likewise.” is enough. > > Apart from that LGTM! > > > From f54915ab4ab70133adced8fd71649918e38ba659 Mon Sep 17 00:00:00 2001 > > From: Roel Janssen <r...@gnu.org> > > Date: Tue, 24 May 2016 00:16:05 +0200 > > Subject: [PATCH 2/2] gnu: Add texmaker. > > > > * gnu/packages/tex.scm (texmaker): New variable. > > OK. > > I think it would help now if you could access the repo directly. :-) > > What’s your Savannah account? Please make sure to upload your current > OpenPGP public key there.
Can Savannah use our PGP keys somehow? Or did you mean Roel's SSH public key?