On 1/14/20, 8:22 AM, "Boris Kolpackov" wrote:
> Scott, do you think you can update the "Source Repository" page
> in the website repo (still uses SVN; I think you are the last
> one to deal with it and so probably have a good idea what to do):
Yes, I'll try and do it this week. I'll need to update the source docs anyway
so that will let me verify my git access.
For the record, it's basically just updating them in the doc tree in the
sources, running a make command to build the site using a Java version no later
than 7, and then copying the affected HTML over into the svn tree to commit to
the web site. When you know what's being changed, it's easy to just copy over
the affected files, it's only a big hassle when the whole release is done and
all the files get touched.
-- Scott