To update winvn with a set of changed sources:

1) first do a 'make tounix' and then a 'make checkver' make sure 
that there are not outstanding changes in any of the source files.

2) copy your changed files into the main directory, ensuring
that the EOL convention is Unix.  You can do this by using FTP's
ASCII mode, or by using the maint/frob.py script, or by doing a
'make tounix' - the latter will force all the RCS-maintained files
into Unix EOL format.

3) do a 'make checkver' again.  You will probably want to capture
this output (or print it) so you can refer to it later.  This will
tell you which files just need to be checked in, and which require
a merge.

Those that require merging will give you the version
number that your changed file was based on, which you can then use
with 'rcsmerge'.  For example:

---------------------------------------------------------------------------
the following files have changed (* means an rcsmerge is necessary):
winvn.c *  source: 1.60   RCS: 1.63

This would mean that you should use the following rcsmerge command:

rcsmerge -r1.60 winvn.c

If you get a message about conflicting changes, you must go into the
file, find and correct them.  You can locate these conflicts by searching
for a series of '>'s

After you've checked everything back in, do a 'make checkver' again.

4) to increment the version number, do a 'make increment-version'.
You then need to do a 'make version', which will update the 'version.c'
file.

5) To stamp the current set of sources with the symbolic version number
(something like '0-93-7'), do a 'make symbolic'.

5.5) To maintain the 'ChangeLog' file, simply pull up Emacs in the
source directory, and hit 'C-x v a', then save the new ChangeLog.

6) To make a source distribution zipfile, do 'make dist'.  This will
create '../winvn.zip'.

7) To make the binary distribution:

Build 'win32 release' from vc++ 20, and build 'release' from vc++ 1,
and a release on the DEC Alpha AXP 150
then

cd pub/winvn/source/current/dist
zip -rjk /tmp/wv16_XX_YY.zip win16
zip -rjk /tmp/wv32_XX_YY.zip win32
zip -rjk /tmp/wv32_XX_YY.zip winaxp

And move these into the approriate directory. 
