In other projects we push the generated docs into the development repo. It does make things simpler and so far no-one has raised "pollutes the main repo" as a problem. I'd keep things as simple as you can.
-Pieter On Sat, Nov 29, 2014 at 10:30 PM, Arnaud Kapp <[email protected]> wrote: > Hello, > > A while ago I asked about using gh-pages to host zmqpp documentation. > I now realize it's a rather bad idea because the size of the generated > documentation is quite big, and would have polluted the repo. > > I'm playing around with Travis and a script to generate documentation > and push it anytime a build runs (unless it's a PR). > > To not pollute the development repo it would require a dedicated > documentation-only repository. The intent for this repo is to host > generated documentation, nothing more. We could delete/recreate in > case it eventually becomes too big. > > Does anyone oppose the creation of a zmqpp-doc repository inside the > zeromq organization, or does any one have a better alternative? > > Thank you, > > -- > Kapp Arnaud - Xaqq > _______________________________________________ > zeromq-dev mailing list > [email protected] > http://lists.zeromq.org/mailman/listinfo/zeromq-dev _______________________________________________ zeromq-dev mailing list [email protected] http://lists.zeromq.org/mailman/listinfo/zeromq-dev
