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
