Re: [ng-spice-devel] [COMMIT] Separation of header files, frontend


To ng-spice-devel <ng-spice-devel@ieee.ing.uniroma1.it>
From Paolo Nenzi <pnenzi@ieee.ing.uniroma1.it>
Date Sun, 28 May 2000 09:50:44 +0200 (CEST)
Delivered-To mailing list ng-spice-devel@ieee.ing.uniroma1.it
In-Reply-To <20000506163335.A20338@cgmd80028.chello.nl >
Mailing-List contact ng-spice-devel-help@ieee.ing.uniroma1.it; run by ezmlm
Reply-To ng-spice-devel@ieee.ing.uniroma1.it



On Sat, 6 May 2000, Arno W. Peters wrote:

>   make distcheck
>   cvs tag -R -c NGSPICE_REWORK_11
>   cp ngspice-rework-11.tar.gz /anonymous/ftp/area

I have done them, not in the sequence you outlined. I have updated the CVS
firstly, to be sure that no change was left, then I issued the tag command
and only then made the ./autogen.sh and make distcheck.

Have I done right ?

Paolo


Partial thread listing: