Cleaning up website vs. JMRI: moving “install” directory tree

[jerryg2003]

Although not at the top of my priority list, I’m looking into cleaning up the “install” tree on JMRI/website and the “help/en/html/setup” tree on JMRI/JMRI. The “install” directory here is only 8mb so any reason this can’t be moved to JMRI/JMRI to make it easier to merge/maintain all in one place?

If that is OK, then my question is “how”? I only use Github via a browser and all instructions I have seen require git to be installed and are quite complicated at that (e.g. https://medium.com/@ayushya/move-directory-from-one-repository-to-another-preserving-git-history-d210fa049d4b).

Thanks, Jerry

[bobjacobsen]

We can do this is we need to, but it's not going to be easy to keep the history because some of those files were already in the JMRI/JMRI repository, so already have git records. Maybe we don't need the history?

Originally, this was moved out of help/ to save a bit of size in the installers. The thinking was that nobody needed to read the install instructions after they'd actually done the install; you only needed that earlier, hence on the web. Not sure whether 8MB should be considered large on 160MB, but if we're worried about size there are a lot of other things we could do.