changing file name for Building Documentation

[NooraAz]

It has occurred multiple times that I thought "build documentation" meant a guide for building/creating documentation, versus a documentation for building Rosetta. I think the name is a bit misleading, so I suggest changing it to Building Rosetta. (all references to this file have also been changed).

[roccomoretti]

Note that the version of Gollum we're currently using doesn't have any support for redirects. Which means that any external links to the page (and any Google search results) would now point to a missing page. -- That's an annoyance for many pages, but I would be more than cautious for this particular page.

Note that the redirect consideration is only for the actual page address (the file name of the page) -- changing how the links display on the page (and the title/contents of the page) won't affect the external links.

[roccomoretti]

build_documentation/ here (and in a number of other locations) is a directory name, but it looks like you didn't rename the directory, just the page name.

[NooraAz]

Yeah. I can change them as well if you generally agree with this suggestion.

[roccomoretti]

It's a reasonable change, but the issue with changing directory names is the same as with changing file names -- we don't have redirects, so external links get broken.

[NooraAz]

How can we add redirects?

[roccomoretti]

There's a newer version of Gollum which supports redirects. But there's some effort which would be needed to merge the Rosetta-specific modifications we've made with the newer version. It's on my list to look into, but I haven't gotten around to it yet -- I'll see if I can bump up the priority.