Hi Olaf, How about using -j option to parallel build? http://sphinx-doc.org/latest/invocation.html
This option is added at version 1.2b1 and currently experimental. But it may help. Thank you WAKAYAMA Shirou 2013/7/17 Olaf <[email protected]>: > Hi, > > We have documentation for hardware modules that is written in rst and > translated to HTML with sphinx. > > We are translating about ~300000 lines of rst. Which is not small but also > not absolutely huge: > olaf@pc:~/ee/doc$ find . -name '*.rst' | xargs wc -l > [...] > 335911 total > > You can take a look at the documentation here: > http://www.tinkerforge.com/en/doc/index.html > > The building process takes about 10 minutes if i don't change anything after > the last build (i.e. everything that can be cached should be cached): > olaf@pc:~/ee/doc$ time make html > [...] > real 10m27.748s > user 9m30.036s > sys 0m6.932s > > We will be adding lots of new hardware modules soon, which will double the > amount of documentation... > > Adding stuff to the documentation has become really painful since it takes > so long before one can review it. So the question is: How can we speed this > up? > > For us it would also be helpfull if we were able to only build a part of the > documentation. Is that somehow possible? > > Thanks! > Olaf > > -- > You received this message because you are subscribed to the Google Groups > "sphinx-users" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to [email protected]. > To post to this group, send email to [email protected]. > Visit this group at http://groups.google.com/group/sphinx-users. > For more options, visit https://groups.google.com/groups/opt_out. > > -- You received this message because you are subscribed to the Google Groups "sphinx-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To post to this group, send email to [email protected]. Visit this group at http://groups.google.com/group/sphinx-users. For more options, visit https://groups.google.com/groups/opt_out.
