On Tue, Jun 18, 2019 at 12:24:48 +0200, Andrea Bolognani wrote:
On Tue, 2019-06-18 at 12:18 +0200, Peter Krempa wrote:
> On Tue, Jun 18, 2019 at 10:39:40 +0100, Daniel Berrange wrote:
> But what's the point of having it in git of libvirt? I can understand
> that we generate the docs from there. But we don't really need JS for
> the docs.
>
> The main page and everything is by itself pretty weird to be in
> libvirt.git
That's kind of true, and has been slightly bothering me for a long
time now; however if you look at the website it's like 99% user and
developer documentation that we want to ship and ultimately install
as part of releases, with index.html and 404.html being the only
exceptions I can point out off the top of my head. There might be
a few more, but their size pales in comparison with the rest.
Splitting off those few pages to a separate repository would mean
having to duplicate a lot of effort (build system, etc.) for very
little gain at the end of the day, so I don't think it's something
that we should pursue.
I must say that I mostly care about the JS stuff being gone from the
repo. I don't mind other things that much.