On 1/14/20, 8:22 AM, "Boris Kolpackov" <bo...@codesynthesis.com> 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

Reply via email to