Re: [PATCH] gnu: Add texmaker.

[Leo Famulari <leo@famulari.name>]

On Tue, May 24, 2016 at 11:51:19AM +0200, Ludovic Courtès wrote:
> Roel Janssen <roel@gnu.org> skribis:
> 
> > From fc657a31b4a52628c09a0b634c49b71cce2230bc Mon Sep 17 00:00:00 2001
> > From: Roel Janssen <roel@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 <roel@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?